"Satz XI: Sei κ eine beliebige rekursive widerspruchsfreie Klasse von FORMELN, dann gilt: Die SATZFORMEL, welche besagt, daß κ widerspruchsfrei ist, ist nicht κ-BEWEISBAR; insbesondere ist die Widerspruchsfreiheit von P in P unbeweisbar, vorausgesetzt, daß P widerspruchsfrei ist (im entgegengesetzten Fall ist natürlich jede Aussage beweisbar)."