Das Axiom der Stiftung hat festgestellt, dass jedes Set von unten nach oben in einer bestellten Abfolge von Schritten durch die Prinzipien von Zermelo und Fraenkel gebaut werden kann, so dass wenn ein Set zu einem anderen gehört, dann muss der erste unbedingt vorher kommen Die zweite in der Nachfolge, daher ohne die Möglichkeit eines Set, das sich selbst gehört. Um zu beweisen, dass die Ergänzung dieses neuen Axiom zu den anderen keine Widersprüche produziert hat, hat von Neumann eine Methode der Demonstration eingeführt, die die Methode der inneren Modelle genannt wird, die später zu einem wesentlichen Instrument in der Set wurde.
Zermelo und Fraenkel Axiom der Stiftung haben festgestellt, dass jedes Set gebaut wird, wie?
von unten nach oben in einer bestellten Abfolge von Schritten