From the viewpoint of Zermelo's axiomatic theory of sets, one can say that the method explained here allows us to deduce theorems of a certain well-determined general type directly from Zermelo's axioms, that is to say, without the introduction of any independent, supplementary axiom about the existence of transfinite numbers. (Kuratowski 1922:   77)[35]