Gentzen’s consistency proof in context

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)


Gentzen’s celebrated consistency proof—or proofs, to distinguish the different variations he gave1—of Peano Arithmetic in terms of transfinite induction up to the ordinal2 ε0 can be considered as the birth of modern proof theory.

Original languageEnglish
Title of host publicationGentzen's Centenary
Subtitle of host publicationThe Quest for Consistency
EditorsReinhard Kahle, Michael Rathjen
PublisherSpringer International Publishing
Number of pages22
ISBN (Electronic)9783319101033
ISBN (Print)9783319101026
Publication statusPublished - 1 Jan 2015


Cite this

Kahle, R. (2015). Gentzen’s consistency proof in context. In R. Kahle, & M. Rathjen (Eds.), Gentzen's Centenary: The Quest for Consistency (pp. 3-24). Springer International Publishing.