Vergiß nicht: der Satz, der von
sich selbst aussagt, er sei unbeweisbar, ist als
mathematische Aussage auf
zufassen,88
‒ ‒ ‒ denn das ist
nicht
selbstverständlich.
Es ist nicht selbstverständlich, daß der
Satz, die & die Struktur sei: so & so nicht
konstruierbar, als
¤ mathematischer Satz aufzufassen
sei || ist.