Wie ist eine „formally certified proposition” möglich? Es wäre ein Satz dem man ansieht ob er wahr oder falsch ist. „Grün ist eine Farbe wäre so ein Satz. 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 er || der Satz behauptet. Durch Hinsehen auf den Satz kann ich nur eines über die Natur ersehen was er aber nicht behauptet & das ist die Möglichkeit dessen was er behauptet.