To demonstrate that the addition of this new axiom to the others did not produce contradictions, von Neumann introduced a method of demonstration, called the method of inner models, which later became an essential instrument in set theory.
What is the method to demonstrate that no contradictions were created by the addition of axiom of foundation?
method of inner models