Hilbert's
axiom system is constructed with six
primitive notions: three primitive terms: •
point (represented by Latin capital letters, A,B,C,\dots); •
line (represented by Latin minuscules, l,m,n,\dots); •
plane (represented by Greek minuscules, \pi,\rho,\sigma,\dots); and three primitive relations: • A \in l or A \in \pi or l \in \pi —
incidence (a point lies on a line, a point lies in a plane, or a line lies in a plane) • A * B * C —
betweenness, meaning that B is between A and C • \overline{AB} \cong \overline{CD} —
segment congruence, stating that the segments AB and CD are equal in length • \angle ABC \cong \angle DEF —
angle congruence, stating that the angles ABC and DEF are equal in measure Line segments, angles, and triangles may each be defined in terms of points and straight lines, using the relations of betweenness and containment. All points, straight lines, and planes in the following axioms are distinct unless otherwise stated.
I. Incidence For every two points
A and
B there exists a line
a that contains them both. We write
AB =
a or
BA =
a. Instead of "contains", we may also employ other forms of expression; for example, we may say "
A lies upon
a", "
A is a point of
a", "
a goes through
A and through
B", "
a joins
A to
B", etc. If
A lies upon
a and at the same time upon another line
b, we make use also of the expression: "The lines
a and
b have the point
A in common", etc. For every two points there exists no more than one line that contains them both; consequently, if and , where , then also . \begin{aligned} (I_1)&\quad \forall A\,\forall B\,(A\neq B \rightarrow \exists l\ (A\in l \wedge B\in l)) \\[4pt] \end{aligned} There exist at least two points on a line. \begin{aligned} (I_2)&\quad \forall l\,\exists A\,\exists B\,(A\neq B \wedge A\in l \wedge B\in l) \\[4pt] \end{aligned} There exist at least three points that do not lie on the same line. \begin{aligned} (I_3)&\quad \exists A\,\exists B\,\exists C\ \neg \exists l\,(A\in l \wedge B\in l \wedge C\in l) \\[4pt] \end{aligned} For every three points
A,
B,
C not situated on the same line there exists exactly one plane α that contains all of them. For every plane there exists a point which lies on it. We write . We employ also the expressions: "
A,
B,
C lie in
α"; "
A,
B,
C are points of
α", etc. \begin{aligned} (I_4)&\quad \forall A\,\forall B\,\forall C\,[\neg \exists l\,(A\in l\wedge B\in l\wedge C\in l)\rightarrow \exists!\pi\,(A\in\pi\wedge B\in\pi\wedge C\in\pi)] \\[4pt] \end{aligned} Every plane contains three points
A,
B,
C which do not lie in the same line. \begin{aligned} (I_5)&\quad \forall \pi\,\exists A\,\exists B\,\exists C\,(A\in\pi\wedge B\in\pi\wedge C\in\pi\wedge \neg\exists l\,(A\in l\wedge B\in l\wedge C\in l)) \\[4pt] \end{aligned} If two points
A,
B of a line
a lie in a plane
α, then every point of
a lies in
α. In this case we say: "The line
a lies in the plane
α", etc. \begin{aligned} (I_6)&\quad \forall A\,\forall B\,\forall l\,\forall\pi\,[ (A\neq B \wedge A\in l\wedge B\in l\wedge A\in\pi\wedge B\in\pi)\rightarrow l\in\pi ] \\[4pt] \end{aligned} If two planes
α,
β have a point
A in common, then they have at least a second point
B in common. \begin{aligned} (I_7)&\quad \forall\pi\,\forall\rho\,\bigl(\pi\neq\rho\wedge \exists P\,(P\in\pi\wedge P\in\rho)\rightarrow \exists l\,\forall P\,(P\in l\leftrightarrow (P\in\pi\wedge P\in\rho))\bigr) \\[4pt] \end{aligned} There exist at least four points not lying in a plane. \begin{aligned} (I_8)&\quad \exists A\,\exists B\,\exists C\,\exists D\ \neg \exists \pi\,(A\in\pi\wedge B\in\pi\wedge C\in\pi\wedge D\in\pi) \end{aligned}
II. Betweenness (Order) Axioms If a point
B lies between points
A and
C,
B is also between
C and
A, and there exists a line containing the distinct points
A,
B,
C. \begin{aligned} (B_1)&\quad \forall A\,\forall B\,\forall C\,(A * B * C \rightarrow (C * B * A \wedge A\neq B \wedge B \neq C \wedge A \neq C \wedge \exists l\,(A\in l\wedge B\in l\wedge C\in l))) \\[4pt] \end{aligned} If
A and
C are two points, then there exists at least one point
B on the line
AC such that
C lies between
A and
B. \begin{aligned} (B_2)&\quad \forall A\,\forall C\,(A\neq C \rightarrow \exists B\,(A * C * B)) \\[4pt] \end{aligned} Of any three points situated on a line, there is no more than one which lies between the other two. \begin{aligned} (B_3)&\quad \forall A,B,C\,(\text{exactly one of }A * B * C, B * C * A, C * A * B) \end{aligned}
Pasch's axiom: Let
A,
B,
C be three points not lying in the same line and let
a be a line lying in the plane
ABC and not passing through any of the points
A,
B,
C. Then, if the line
a passes through a point of the segment
AB, it will also pass through either a point of the segment
BC or a point of the segment
AC. \begin{aligned} (B_4)&\quad \forall A,B,C,l\,((A,B,C \text{ non-collinear}) \wedge (l \text{ intersects } AB) \wedge \neg(l \text{ passes through }A,B,C)) \\ &\qquad \rightarrow (l \text{ intersects } AC \lor l \text{ intersects } BC)) \end{aligned}
III. Congruence If
A,
B are two points on a line
a, and if
A′ is a point upon the same or another line
a′, then, upon a given side of
A′ on the straight line
a′, we can always find a point
B′ so that the segment
AB is congruent to the segment
A′
B′. We indicate this relation by writing . Every segment is congruent to itself; that is, we always have .We can state the above axiom briefly by saying that every segment can be
laid off upon a given side of a given point of a given straight line in at least one way. \begin{aligned} (C_1)&\quad \forall A,B,A',B'\,\exists C'\,(\text{Ray}(A',B',C') \wedge \overline{AB}\cong\overline{A'C'}) \end{aligned} If a segment
AB is congruent to the segment
A′
B′ and also to the segment
A″
B″, then the segment
A′
B′ is congruent to the segment
A″
B″; that is, if and , then . \begin{aligned} (C_2)&\quad \forall A,B\,(\overline{AB}\cong\overline{AB}) \end{aligned} (reflexive) \begin{aligned} (C_2)&\quad \forall A,B,C,D\,((\overline{AB}\cong\overline{CD})\rightarrow(\overline{CD}\cong\overline{AB})) \end{aligned} (symmetric) \begin{aligned} (C_2)&\quad \forall A,B,C,D,E,F\,((\overline{AB}\cong\overline{CD}\wedge\overline{CD}\cong\overline{EF})\rightarrow(\overline{AB}\cong\overline{EF})) \end{aligned} (transitive) Let
AB and
BC be two segments of a line
a which have no points in common aside from the point
B, and, furthermore, let
A′
B′ and
B′
C′ be two segments of the same or of another line
a′ having, likewise, no point other than
B′ in common. Then, if and , we have . \begin{aligned} (C_3)&\quad \forall A,B,C,A',B',C'\,((\overline{AB}\cong\overline{A'B'}\wedge\overline{BC}\cong\overline{B'C'})\rightarrow\overline{AC}\cong\overline{A'C'}) \end{aligned} Let an angle be given in the plane
α and let a line
a′ be given in a plane
α′. Suppose also that, in the plane
α′, a definite side of the straight line
a′ be assigned. Denote by
h′ a ray of the straight line
a′ emanating from a point
O′ of this line. Then in the plane
α′ there is one and only one ray
k′ such that the angle , or , is congruent to the angle and at the same time all interior points of the angle lie upon the given side of
a′. We express this relation by means of the notation . \begin{aligned} (C_4)&\quad \forall A,B,C,A',B'\,\exists !\,C'\,(\angle ABC\cong\angle A'B'C') \end{aligned} If the angle is congruent to the angle and to the angle , then the angle is congruent to the angle ; that is to say, if and , then . \begin{aligned} (C_5)&\quad \forall A,B,C\,(\angle ABC\cong\angle ABC) \end{aligned} \begin{aligned} (C_5)&\quad \forall A,B,C,D,E,F\,((\angle ABC\cong\angle DEF)\rightarrow(\angle DEF\cong\angle ABC)) \end{aligned} \begin{aligned} (C_5)&\quad \forall A,B,C,D,E,F,G,H,I\,((\angle ABC\cong\angle DEF\wedge\angle DEF\cong\angle GHI)\rightarrow\angle ABC\cong\angle GHI) \end{aligned} If, in the two triangles
ABC and
A′
B′
C′ the congruences , , hold, then the congruence holds (and, by a change of notation, it follows that also holds). \begin{aligned} (C_6)&\quad \forall A,B,C,A',B',C'\,((\overline{AB}\cong\overline{A'B'}\wedge\overline{AC}\cong\overline{A'C'}\wedge\angle BAC\cong\angle B'A'C')\rightarrow(\angle{ACB}\cong\angle{A'C'B'})) \end{aligned}
IV. Parallels • Euclid's axiom (
Playfair's axiom): Let
a be any line and
A a point not on it. Then there is at most one line in the plane, determined by
a and
A, that passes through
A and does not intersect
a. \begin{aligned} (P)\quad \forall A\,\forall l\ \bigl(A\notin l \rightarrow \exists! m\ &(A\in m\wedge \neg\exists P\,(P\in l\wedge P\in m))\bigr). \end{aligned}
V. Continuity •
Axiom of Archimedes: If
AB and
CD are any segments then there exists a number
n such that
n segments
CD constructed contiguously from
A, along the ray from
A through
B, will pass beyond the point
B. •
Axiom of line completeness: An extension (An extended line from a line that already exists, usually used in geometry) of a set of points on a line with its order and congruence relations that would preserve the relations existing among the original elements as well as the fundamental properties of line order and congruence that follows from Axioms I-III and from V-1 is impossible. \begin{aligned} (Ct)\quad &\forall l\ \forall X\subseteq\{P: P\in l\}\ \forall Y\subseteq\{P: P\in l\}\ \Bigl[\, X\neq\varnothing\wedge Y\neq\varnothing\wedge X\cup Y=\{P:P\in l\}\\ &\qquad\wedge X\cap Y=\varnothing\wedge (\forall x\in X\ \forall y\in Y\ \neg\exists z\,(z\in l\wedge y * z * x))\\ &\qquad\longrightarrow \exists c\,(c\in l\wedge \forall x\in X\ \forall y\in Y\ (x * c * y\vee x=c\vee y=c))\,\Bigr] \end{aligned} == Hilbert's discarded axiom ==