Point–line–plane postulate


In geometry, the point–line–plane postulate is a collection of assumptions that can be used in a set of postulates for Euclidean geometry in two, three or more dimensions.

Assumptions

The following are the assumptions of the point-line-plane postulate:
The first three assumptions of the postulate, as given above, are used in the axiomatic formulation of the Euclidean plane in the secondary school geometry curriculum of the University of Chicago School Mathematics Project.

History

The axiomatic foundation of Euclidean geometry can be dated back to the books known as Euclid's Elements. These five initial axioms are not sufficient to establish Euclidean geometry. Many mathematicians have produced complete sets of axioms which do establish Euclidean geometry. One of the most notable of these is due to Hilbert who created a system in the same style as Euclid. Unfortunately, Hilbert's system requires 21 axioms. Other systems have used fewer axioms. The most appealing of these, from the viewpoint of having the fewest axioms, is due to G.D. Birkhoff which has only four axioms. These four are: the Unique line assumption, the Number line assumption, the Protractor postulate and an axiom that is equivalent to Playfair's axiom. For pedagogical reasons, a short list of axioms is not desirable and starting with the New math curricula of the 1960s, the number of axioms found in high school level textbooks has increased to levels that even exceed Hilbert's system.