Wie ist eine “formally certified proposition” möglich? Es wäre ein Satz, dem man ansieht, ob er wahr oder falsch ist. Aber wie kann man durch Hinsehen auf den Satz oder den Gedanken herausfinden, daß er wahr ist? Der Gedanke ist doch etwas ganz anderes als der Sachverhalt, den der Satz behauptet.