Birkhoff's axioms

Summary

Birkhoff's axioms are four postulates for plane Euclidean geometry that George David Birkhoff gave in 1932. They take the real numbers as known and measure distances with a ruler and angles with a protractor. Because the real numbers do much of the work, the list is very short, and it became the basis of many school geometry courses.