Ja, da sollten wir konsitent sein! Evtl. könnte man auch kurz vor der Formel "Abkürzungen" definieren und die dann in der Formel verwenden. Das "=" wird in der Prädikatenlogik oft explizit spezifiziert (ich halte es für überflüssig, dess es ist ja auch nur ein Prädikat). Auch die Implikation und die Äquivalenz sind strenggenommen unnötige Abkürzungen. Mit NAND kann kann man glaube sogar auf UND, ODER und NICHT verzichten. Problematisch an Mengenoperatoren wie ist, dass man eigentlich erst axiomatisch festlegen will, was Mengen überhaupt sind, bzw. was man mit ihnen machen kann. Erst dann folgt der Schritt Mengenoperationen zu definieren. In sofern ist es legitim alle möglichen logischen Ausdrücke zu benutzen. Mengenoperationen sollte man aber besser weglassen. = und kann man aber verwenden, weil sie schon in den ersten beiden Axiomen definiert werden. -- Coma 11:37, 22. Mai 2005 (CEST)