“Welchen Satz
p nicht als seine Folge erkennt, der ist
nicht seine Folge.”
D.h., aus der kompletten Grammatik des Satzes
p
muß ||
müßte auch
hervorgehen, welcher Satz aus ihm folgt; und würde nun ein neuer
Satz gefunden,
der aus p folgt, so würde
¤ damit nicht der Satz von
p geändert werden.
332
“Wenn z.B. aus “a ist
grün” folgt “a ist nicht rot”,
so muß “a ist
grün” den zweiten Ausdruck als seinen Verwandten
anerkennen.”