Ich denke, wir sollten in diesem Artikel auf die Monsterformel fürs Auswahlaxiom verzichten, und diese Formel ggf. nach Auswahlaxiom verschieben. Hier sollten die beiden natürlichsprachlichen Formulierungen reichen. --SirJective 17:07, 20. Mai 2005 (CEST)