„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. ]