Reflectiespectra: predicaat wiskunde en verder Universiteit Gent
Door het werk van de Oostenrijkse logicus Kurt Gödel in de jaren
1930, kan geen enkele correcte en voldoende sterke berekenbaar
opsombare arithmetische theorie haar eigen constistentie aantonen.
Kort na Gödel zijn werk, gaf Gentzen een bijna eindig bewijs van de
consistentie van de Peano rekenkunde, met enkel één externe
component: het gebruik van transfinite inductie tot aan een geschikte
ordinaal. ...