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, dass er wahr ist? Der Gedanke ist doch etwas ganz anderes als der Sachverhalt, den der Satz behauptet.