Source: wikibot/gentzen-s-consistency-proof
= Gentzen's consistency proof
{wiki=Gentzen's_consistency_proof}
Gentzen's consistency proof is a significant achievement in mathematical logic, particularly in the study of formal systems and their foundational properties. Proposed by Gerhard Gentzen in the 1930s, this proof addresses the consistency of Peano Arithmetic (PA), which is a foundational system for number theory.