Zur Sachklärung: ZF hat zwei Axiomenschemata und der Artikel betont das. Jedes Axiomenschema hat deshalb unendlich viele Axiome, da es keine logische Formeln sind, weil metalogische Variablen für ein Prädikat darin vorkommen. Erst für jedes konkret eingesetzte Prädikat ergibt sich eine logische Formel und damit ein Axiom. Die Unterscheidung zwischen Metavariablen und logischen Variablen gehört zum Grundhandwerkszeug der Logiker und ist, um Dein Bild aufzugreifen, zur Bedienung des logischen Mikroskops unerlässlich. -- Wilfried Neumaier 20:09, 14. Jun. 2011 (CEST)