Axiom: Axioms of Connection

Planar Axioms

  1. For any two distinct points $A,B,$ there is exactly one straight line $l$ such that $A,B$ lie on $l.$ We write $AB=BA=l.$
  2. Any two points $A,B$ which lie on a straight line $l,$ completely determine that straight line, i.e. if $AB=l$ and $AC=l$ and $B\neq C$ then $BC=l.$
  3. There are at least two distinct points that lie on a given straight line. There are at least three distinct points that do not lie on the same straight line.

Spacial Axioms

4 For any three distinct points $A, B, C$ which do not lie on the same straight line, there is exactly one plane $\alpha$ such that $A, B, C$ lie on $\alpha.$ We write $ABC=\alpha.$

  1. Any three distinct points $A, B, C$ which lie on a plane $\alpha$ but do not lie on the same straight line completely determine that plane.
  2. If two distinct points $A, B$ lie both on a line $l$ and a plane $\alpha,$ then all points which lie on $l$ also lie on $\alpha.$ We also say that $l$ is on the plane $\alpha.$
  3. If a point $A$ lies on two distinct planes $\alpha,\beta$ then there is at least another point $B$ which also lies on them.
  4. If a point $A$ lies on two distinct planes $\alpha,\beta$ then there is at least another point $B$ which also lies on them.

Proofs: 1 2 3 4


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Lee, John M.: "Axiomatic Geometry", AMC, 2013
  2. Berchtold, Florian: "Geometrie", Springer Spektrum, 2017
  3. Klotzek, B.: "Geometrie", Studienbücherei, 1971
  4. Hilbert, David: "Grundlagen der Geometrie", Leipzig, B.G. Teubner, 1903