}}</ref>{{#tag:ref|Mezi axiomy ZF se někdy uvádějí i [[ZermeloZermelova-Fraenkelova teorie množin#axiom existence množiny|axiom existence množiny]] <math>\scriptstyle ((\exist x ) (x = x))</math> a [[ZermeloZermelova-Fraenkelova teorie množin#Schéma axiomů vydělení|schéma axiomů vydělení]] (''Je-li <math>\scriptstyle \phi ( x )</math>, která neobsahuje volné proměnnou z, potom formule <math>\scriptstyle ( \forall a ) ( \exist z ) ( \forall x ) (x \in z \Leftrightarrow ( x \in a \and \phi(x))) </math>''). Avšak tyto axiomy lze odvodit z ostatních axiomů. Jmenovitě axiom existence množiny plyne okamžitě z [[ZermeloZermelova-Fraenkelova teorie množin#axiom existence množiny|axiomu nekonečna]] a schéma axiomů vydělení ze [[ZermeloZermelova-Fraenkelova teorie množin#axiom existence množiny|schématu axiomů nahrazení]].<ref name="BŠ axiom vydělení">{{Citace monografie
