Pagina:Peano - Principii di geometria, 1889.djvu/16


— 15 —
  1. a, d1 . bad . cbd : ⊃ . bac.{Hp . §6 P1 P18 : ⊃ : a, d1 . b , cad . b − = c . b − ∈ cd . P1 : ⊃ . Ts}
  2. a, d1 . bad : ⊃ . bdab.{P6 = P5}
  3. a, b1 . cab : ⊃ . bcab.{P7 = (c) [d] P6}
  4. a, b1 . cab : ⊃ . bccacab{P8 = : P7 . §6 P12}
  5. a, b1 . cab : ⊃ . bcab − = ∧.
{Hp . ⊃ : c − = b . bc − = ∧ . bcab : ⊃ Ts}
  1. a, b1 . cab : ⊃ . cbab.{P10 = P9}
  2. a, b1 . ⊃ . abbab.{P11 = P10}
  3. a, c1 . bac : ⊃ . acab − = ∧.
{Hp . P9 : ⊃ : bcac . bcab − = ∧ : ⊃ . Ts}
  1. a, c1 . bac : ⊃ . baac.{P13 = P12}
  2. a, c1 . ⊃ . acaac.{P14 = P13}
  3. a, b1 . ⊃ . abaab{P15 = b [c] P14}
  4. a, b1 . ⊃ aab = ab.{P16 = : P15 . §6 P24}
  5. a, b1 . cab : ⊃ . caab.{P17 = P12}
  6. a, b1 . ⊃ . abaab.{P18 = P17}
  7. a, b1 . ⊃ . aab = ab.{P19 = : P18 . §6 P26}
  8. a1 . k ∈ K 1 : ⊃ . aak = ak.
  9. » » : ⊃ . aak = ak.
  10. b, d1 . cbd : ⊃ . dbcb.{P22 = P5}
  11. a, b1 . cab : ⊃ . acbc.{P23 = (a, b, c} [b, c, d] P22}
  12. a, b1 . cab : ⊃ . bcab − = ∧.
{Hp . P23 . §6 P12 : ⊃ : ac − = ∧ . acbc . acab : ⊃ . Ts}
  1. a, b1 . cab : ⊃ . cbba′.{P25 = 24}
  2. a, b1 . ⊃ . abbba′.{P26 = P25}
  3. a, b, c1 . abbc − = ∧ : ⊃ . bac.{P27 = P5}
  4. a, b1 . cbba′ : ⊃ . cba′.{P28 = P27}
  5. a, b1 . ⊃ . bba′ ⊃ ba′.{P29 = P28}
  6. a, b1 . ⊃ . bba′ = ba′.{P30 = : P29 . P26}
  7. a1 . k ∈ K 1 : ⊃ . aak′ = ak′.
  8. a, e1 . cae . bac . dce : ⊃ . cbd.
{Hp . P5 : ⊃ : cbe . bce : ⊃ . Ts}
  1. a, e1 . cae . bac . bce : = ∧.
{Hp . b [d] P32 : ⊃ : cbb . §4 P3 : ⊃ ∧}