A standard [[02 Areas/Math/Proposition|Proposition]] assumed to be [[02 Areas/Math/Truth Value|true]]. [[Axiom|Axioms]] are used as the bedrock for [[Proof|proving]] [[Theorem|Thereoms]].