Our purpose in this chapter is to present (with minor modifications) a set of axioms for geometry proposed by Hilbert in 1899. These axioms are sufficient by modern standards of rigor to supply the foundation for Euclid's geometry. This will mean also axiomatizing those arguments where he used intuition, or said nothing. In particular, the axioms for betweenness, based on the work of Pasch in the 1880s, are the most striking innovation in this set of axioms.
KeywordsLine Segment Euclidean Plane Axiom System Isosceles Triangle Affine Plane
Unable to display preview. Download preview PDF.