Zusammenfassend lautet mein Vorschlag: Sauber definieren, welche Sprache wir für unsere Prädikatenlogik verwenden, und bei jedem Axiom die definierten Konstanten und Relationen als Definition benennen. Z.B. lautet das Axiom der leeren Menge dann , und wir stellen dann fest, dass es genau eine Menge A mit dieser Eigenschaft gibt, und wir diese fortan emptyset nennen. Ebenso wie wir nach Angabe des Paarungsaxioms feststellen können, dass es für alle Mengen A und B genau eine Menge C mit der genannten Eigenschaft gibt, und wir diese Menge "{A,B}" nennen.