Definition:Proof Theory

From ProofWiki
Jump to navigation Jump to search

Definition

Proof theory is the subfield of mathematical logic which studies proofs as mathematical objects, thus allowing them to be analysed mathematically.


Also see

  • Results about proof theory can be found here.