The axiomatic method consists in accepting without proof certain propositions as axioms or postulates (e.g., the axiom that through two points just one straight line can be drawn), and then deriving from the axioms all other propositions of the system as theorems. The axioms constitute the “foundations” of the system; the theorems are the “superstructure,” and are obtained from the axioms with the exclusive help of principles of logic.
