“Welchen Satz p nicht als seine Folge erkennt, der ist nicht seine Folge”.
     D.h., aus der kompletten Grammatik des Satzes pp 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 da || damit der Sinn von p geändert werden.