Axiom yayasan didirikan bahwa setiap set dapat dibangun dari bawah ke atas dalam suksesi langkah-langkah yang diperintahkan melalui prinsip-prinsip dari Zermelo dan Fraenkel, sedemikian rupa bahwa jika salah satu set milik yang lain Maka yang pertama harus datang sebelum kedua dalam suksesi, sehingga termasuk kemungkinan dari set milik dirinya sendiri. Untuk menunjukkan bahwa penambahan axiom baru ini kepada yang lain tidak menghasilkan kontradiksi, von Neumann memperkenalkan metode demonstrasi, yang disebut metode model batin, yang kemudian menjadi alat penting dalam teori yang diatur.
Apa yang dikecualikan satu set dari milik dirinya sendiri dalam teori set?
jika salah satu set milik yang lain Maka yang pertama harus datang sebelum kedua dalam suksesi