 … as presented by Zermelo, Fraenkel and von Neumann … is nothing else but a natural generalization of the theory of types, or rather, it is what becomes of the theory of types if certain superfluous restrictions are removed.