/  
⌊⌊Aufz.⌋⌋ Das was den Gedanken wahr macht, kann nicht vorausbestimmt sein, weil es eben sonst
der Fall
da
wäre. „Aber es ist vorausbestimmt, wie es
sich verhält
ist
, wenn der Gedanke wahr ist.” Aber mehr brauchte es doch nicht, eben die Tatsache, die Verification, zu geben. Dieses „der Satz
zeigt
sagt
, was der Fall ist, wenn er wahr ist”, sagt eben nichts, denn p zeigt eben daß p der Fall ist, wenn etc. D.h. auf die Frage „was
ist
wäre
denn der Fall wenn …?” könnte nur p zur Antwort kommen. Das ist aber eine bloße Tautologie.