Pages that link to "Gentzen's consistency proof"
Jump to navigation
Jump to search
The following pages link to Gentzen's consistency proof:
Displaying 15 items.
- Presburger arithmetic (← links)
- Peano axioms (← links)
- Theorem (← links)
- Gödel's incompleteness theorems (← links)
- Consistency (← links)
- Sequent calculus (← links)
- Cut-elimination theorem (← links)
- Robinson arithmetic (← links)
- Epsilon number (← links)
- Primitive recursive arithmetic (← links)
- Ordinal analysis (← links)
- Veblen function (← links)
- Testwiki:Reference desk/Archives/Mathematics/2009 June 7 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 February 17 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 August 3 (← links)