Bei der Formalisierung sollten die Klammern richtig gesetzt sein. Die Quantoren werden gewöhnlich in polnischer Notation verwendet und beziehen sich auf die folgende Aussage, die im Zweifelsfall klar abgrenzt sein muss. 1. Extensionalität: Klammer um die Gesamtaussage nach B: ist nötig. 2. Leermengenaxiom (mein empfohlener Name, der wie sonst ein Wort wäre): Doppelpunkt nach B fehlt. 3. Paarmenge: Klammer um die Gesamtaussage nach D: ist nötig. 4. Vereinigung: Klammer um die Aussage nach C: , ferner steht die Klammer nach dem Äquivalenzzeichen falsch: Sie gehört hinter den Quantor D:. 5. Unendlichkeit: Klammer um die Aussage nach A: , ferner steht die Klammer nach dem Und-Zeichen falsch: Sie gehört hinter den Quantor x:. Warum ist hier x das einzige Mal klein geschrieben? 6. Potenzmenge: Klammer um die Aussage nach B: , ferner steht die Klammer nach dem Äquivalenzzeichen falsch: Sie gehört hinter den Quantor C:. 7. Fundierung: Klammer um die Aussage nach A:, B:, C: 8. Aussonderung: Klammer um die Aussage nach C:. 9. Ersetzung: Klammer um die Aussage nach C: und D:. 10. Auswahlaxiom: 6 öffnende Klammern und nur zwei schließende Klammern (Syntaxerror). Bei quantifizierung von X, Y, Z dich Kommaschreibweise von 1. und 3. nutzen. Warum ist hier das einizige Mal die Non-Element-Aussage geklammert? Positiv ist hier bei dieser Aussage die enge Schreibweise ohne Lücken, die optisch klar macht, dass Relationszeichen stärker binden. Das wäre auch sonst empfehlenswert bei der Elementrelation und dem Gleichheitszeichen, weil die unnötigen Lücken stören. Auch die chronischen Lücken vor dem Doppelpunkt stören optisch. Grüße: Dr. W. Neumaier