Gentzen's consistency proof
Wikipage redirect
ConsistencyCut-elimination theoremEpsilon numbers (mathematics)Gentzen's theoremGentzen consistency proofGerhard GentzenGödel's incompleteness theoremsHilbert's programKuno LorenzList of mathematical logic topicsOrdinal analysisPeano axiomsPresburger arithmeticPrimitive recursive arithmeticRobinson arithmeticSequent calculus
Link from a Wikipage to another Wikipage
primaryTopic
Gentzen's consistency proof
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,021,980,772
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
label
Gentzen's consistency proof
@en