Ich fände es besser, das Auswahlaxiom und dessen Äquivalente, die ja später hinzugenommen wurden, auch im Text erkennbar abzugrenzen. Nicht ohne Grund wird ja unterschieden zwischen ZF und ZFC. -- Peter Steinberg 23:14, 24. Jun 2005 (CEST)