A proof is a valid argument that establishes the [[Truth Value|Truth]] of a [[Proposition|Statement]]. A proof can use:
- The hypotheses of the [[Theorem]] being [[Proof|Proved]]
- [[Axiom|Axioms]] assumed to be [[Truth Value|True]]
- Previously proven [[Theorem|Thereoms]]
- Rules of [[Conditional|Inference]]