Den Satz vom ausgeschl. Dritten müßte man nun etwa so formulieren: Im Falle fx = φx ergeben die Regeln entweder daß sich fx & φx wegheben oder die Regeln ergeben das nicht. Im zweiten Falle nun sagt das etwas über die Form fx = φx oder nicht? Ich würde sagen, natürlich ja.