Some [[Proposition]] that can be [[Proof|Proved]] from [[Axiom|Axioms]].