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

— 22 —

17. a, b, c ∈ 1 − Cl . d ∈ bc : ⊃ . (abc)″ = (abd)″.

{Hp . ⊃ : bc = bd ∪ d ∪ dc . abc = abd ∪ ad ∪ adc . a′bc = a′bd ∪ a′d ∪ a′dc . b′c′a = b′d′a ∪ d′a ∪ d′c′a.

». ⊃ : d′b = c′b . a′d′b = a′c′b.

». ⊃ : b′d = bd ∪ d ∪ b′c . a′b′d = a′bd ∪ a′d ∪ a′b′c.

». ⊃ : b′ad = adc ∪ ac ∪ b′ac.

». ⊃ : d′ab = c′ab ∪ c′a ∪ c′d′a.

Hp . ⊃ . Ts.}

18. a, b, c ∈ 1 − Cl . d ∈ (bc)″ . d − = b : ⊃ . (abc)″ = (abd)″.
19. a, b, c ∈ 1 − Cl . d ∈ abc : ⊃ . (abc)″ = (abd)″.

{Hp . p ∈ bc . d ∈ ap : ⊃ . (abc)″ = (abp)″ = (abd)″}

20. a, b, c ∈ 1 − Cl . d ∈ a′bc : ⊃ . (abc)″ = (abd)″.
21. a, b, c ∈ 1 − Cl . d ∈ (abc)″ . d − ∈ (ab)″ : ⊃ . (abc)″ = (abd)″.
22. a, b, c ∈ 1 − Cl . d, e ∈ (abc)″ . a, d, e − ∈ Cl : ⊃ . (abc)″ = (ade)″.
23. a, b, c ∈ 1 − Cl . d, e, f ∈ (abc)″ . d, e, f − ∈ Cl : ⊃ . (abc)″ = (def)″.
24. p ∈ 3 . a, b, c ∈ p . a, b, c − ∈ Cl : ⊃ . p = (abc)″.
25. p, q ∈ 3 . a, b, c ∈ p ∩ q . a, b, c − ∈ Cl : ⊃ . p = q.
26. 3 ⊃ Cnv.
27. a, b, c, d ∈ 1 . a, b, c − ∈ Cl : ⊃ . a, b, c, d ∈ Cp . = . d ∈ (abc)″.
28. a, b, c, d ∈ 1 . ⊃ ∴ a, b, c, d ∈ Cp . = : a, b, c ∈ Cl . ∪ . a, b, d ∈ Cl . ∪ . a, c, d ∈ Cl . ∪ . b, c, d ∈ Cl . ∪ . a ∈ bcd . ∪ . b ∈ acd . ∪ . c ∈ abd . ∪ . d ∈ abc . ∪ . ab ∩ cd − = ∧ . ∪ . ac ∩ bd − = ∧ . ∪ . ad ∩ bc − = ∧.
29. p ∈ 3 . r ∈ 2 . a, b ∈ p ∩ r . a − = b : ⊃ . r ⊃ p.
30. r ∈ 2 . a ∈ 1 . a − ∈ r . c ∈ b′a . d ∈ c′r : ⊃ . d ∈ a′r.
31. r ∈ 2 . c ∈ 1 . c − ∈ r . a ∈ cr : ⊃ . c′r ⊃ a′r{P31 = P30}
32. r ∈ 2 . c ∈ 1 . c − ∈ r . a ∈ cr : ⊃ . a′r = c′r.

{P32 = : P31 . §10 P30}

33. r ∈ 2 . a ∈ 1 . a − ∈ r . b ∈ r′ra : ⊃ . a′r = b′r.
34. r ∈ 2 . a ∈ 1 . a − ∈ r . c ∈ a′r . b ∈ c′r : ⊃ . b ∈ r′ra.
35. r ∈ 2 . a ∈ 1 . a − ∈ r . b ∈ r′ra : ⊃ . r′ra = r′rb.
36. r ∈ 2 . a ∈ 1 . a − ∈ r : ⊃ . (ar)″ ∈ 3.
37. »»: ⊃ . (ar)″ = r ∪ ra′ ∪ r′ra.
38. p ∈ 3 . a ∈ 1 . a − ∈ p . b ∈ p′pa : ⊃ . a′p = b′p.
39. »». c ∈ a′p . b ∈ c′p : ⊃ . b ∈ p′pa.
40. »». b ∈ p′pa : ⊃ . p′pa = p′pb.