Hilbert's axioms
The axioms

Hilbert's axiom system is constructed with six primitive notions: three primitive terms:

and three primitive relations:

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.
change_case:english_capital