Despite all these anticipations, it is still right to ascribe the theory to von Neumann. For it was von Neumann who revealed the extent to which a full theory of the ordinals depends on the Axiom of Replacement. As he wrote later: