Source: wikibot/proof-theory

= Proof theory
{wiki=Proof_theory}