Grundsätzlich kann man Axiome immer auch redundant annehmen, das heißt mit überzähligen Axiomen, die man auch beweisen könnte. Axiome sind immer nur Annahmen, über deren Beweis man nicht reflektiert oder reflektieren möchte. Die ZF-Axiome sind tatsächlich redundant, was im Artikel weiter unten auch ausdrücklich erwähnt wird; dort steht bei Axiom 9. genau, auf welche Axiome bzw. Axiomenschemata man verzichten könnte. -- Wilfried Neumaier 09:57, 29. Sep. 2007 (CEST)