File:Axioms, postulates and theorems.mm