Nee, wir sollten schon so konsistent sein und zu jedem Axiom die prädikatenlogische Formel hinschreiben. Es gibt sicher eine kürzere Version, evtl. entsprechend einer anderen Formulierung des Auswahlaxioms. Ich habe leider (noch) nicht genug Ahnung, um das zu machen, aber ich könnte es verifizieren. -- Coma 19:39, 20. Mai 2005 (CEST)