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