Proof theory
= Proof theory
{wiki}
Proof theory studies <formal proofs> and the deductive systems that produce them. It examines which conclusions follow from <axioms>, how proofs can be transformed, and what those transformations reveal about the chosen logic. <Natural deduction> organizes a proof through introduction and elimination rules for <logical connectives> and quantifiers.