"Einem wissenschaftlichen Schriftsteller kann kaum etwas Unerwünschteres begegnen, als dass ihm nach Vollendung einer Arbeit eine der Grundlagen seines Baues erschüttert wird. In diese Lage wurde ich durch einen Brief des Herrn Bertrand Russell versetzt, als der Druck dieses Bandes sich seinem Ende näherte."

"Der Beweis soll nicht nur von der Wahrheit des Bewiesenen überzeugen, sondern soll auch den Zusammenhang der Wahrheiten untereinander aufdecken. Darum hat schon Euklid Wahrheiten bewiesen, die keines Beweises bedürftig erscheinen, weil sie ohne dies einleuchten."

"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)."

"Satz VI: Zu jeder ω-widerspruchsfreien rekursiven Klasse κ von FORMELN gibt es rekursive KLASSENZEICHEN r, so daß weder v Gen r noch Neg (v Gen r) zu Flg (κ) gehört (wobei v die FREIE VARIABLE aus r ist)."

"Ich glaube nicht an Naturwissenschaft."