Gut, lassen wir hier eine Formel stehen. Dann braucht aber der Auswahlaxiom-Artikel selbst auch eine! :) Ich hab mal nach verschiedenen Formulierungen des AC geschaut, aber keine gefunden, die elegant ist und gleichzeitig nur mit der Sprache auskommt.