 This argument can be turned into a valid proof in Zermelo–Frenkel set theory, but this does not really help because the consistency of Zermelo–Frenkel set theory is less clear than the consistency of Zermelo set theory.Zermelo comments that Axiom III of his system is the one responsible for eliminating the antinomies.It differs from the original definition by Cantor, as follows.