„Die Regeln dürfen einander nicht widersprechen” das ist wie: „die Negation darf nicht verdoppelt eine Negation ergeben”. Es liegt nämlich in der Grammatik des Wortes Regel daß p ' ~p keine

Regel ist (wenn p eine ist) |[daß, (wenn p eine Regel ist) p ' ~p keine Regel ist.]