Source: /wikibot/gentzen-s-consistency-proof

= Gentzen's consistency proof
{wiki=Gentzen's_consistency_proof}