 They both realized that the axiom of replacement is needed to prove this.The following year, John von Neumann pointed out that this axiom is necessary to build his theory of ordinals.The axiom of regularity was stated by von Neumann in 1925.