Formal Proof¶ An axiom is a proof rule without antecedents Every proof tree has an axiom at the top (starting with the root at the bottom) A theory is a set of proof rules This set is usually infinite and specified using a set of proof rule schemas