Tiên_đề của nền_móng được thiết_lập rằng mỗi bộ có_thể được xây_dựng từ dưới lên trong một loạt các bước theo các nguyên_tắc của Zermelo và Fraenkel , theo cách mà nếu một bộ thuộc về Thứ hai liên_tiếp , do_đó loại_trừ khả_năng của một bộ thuộc về chính nó .Để chứng_minh rằng việc bổ_sung tiên_đề mới này cho những người khác không tạo ra mâu_thuẫn , von Neumann đã đưa ra một phương_pháp trình_diễn , được gọi là phương_pháp của các mô_hình bên trong , sau_này trở_thành một công_cụ thiết_yếu trong lý_thuyết_tập_hợp .
Phương_pháp để chứng_minh rằng không có mâu_thuẫn nào được tạo ra bằng cách bổ_sung tiên_đề của nền_tảng là gì ?
Phương_pháp của các mô_hình bên trong