Birkhoff's axioms

In 1932, G. D. Birkhoff created a set of four postulates of Euclidean geometry in the plane, sometimes referred to as Birkhoff's axioms. These postulates are all based on basic geometry that can be confirmed experimentally with a scale and protractor. Since the postulates build upon the real numbers, the approach is similar to a model-based introduction to Euclidean geometry.

Birkhoff's axiomatic system was utilized in the secondary-school textbook by Birkhoff and Beatley. These axioms were also modified by the School Mathematics Study Group to provide a new standard for teaching high school geometry, known as SMSG axioms. A few other textbooks in the foundations of geometry use variants of Birkhoff's axioms.