Man muss sich dabei vergegenwärtigen: In ZF spricht man nur in der Sprache Prädikatenlogik erster Stufe. Das ist die Sprache, in der die Axiome formuliert sind. Das ist die Sprache, in der strenggenommen Beweise durchgeführt werden. Und in dieser Sprache gibt es das Wort "Menge" nicht. In dieser Sprache gibt es nur Variablen, die hinter einem Quantor stehen.