“Welchen Satz p nicht als seine Folge erkennt, der ist nicht seine Folge”.
                    D.h., aus der kompletten Grammatik des Satzes pp muss // müsste // auch hervorgehen, welcher Satz aus ihm folgt; und würde nun ein neuer Satz gefunden, der aus p folgt, so würde da mit nicht der Satz Sinn von p geändert werden.

\ ?