Các điều khoản của nền tảng được thành lập rằng mỗi bộ đều có thể được xây dựng từ đáy lên trong một kế hoạch kế hoạch của các bước theo cách của các nguyên tắc của lý và Einstein, theo một cách như vậy rằng nếu một bộ thuộc về một người khác thì người đầu tiên phải nhất thiết phải đến trước đó thứ hai trong kế hoạch, do đó không bao gồm khả năng của một bộ thuộc về chính nó. Để chứng minh rằng sự bổ sung của axiom mới này cho những người khác không sản xuất các mâu thuẫn, von Neumann giới thiệu một phương pháp biểu diễn, được gọi là phương pháp của các mô hình nội bộ, mà sau đó trở thành một nhạc cụ thiết yếu trong lý thuyết thiết lập.
Điều gì đã loại bỏ một bộ từ thuộc về chính nó trong lý thuyết thiết lập?
nếu một bộ thuộc về một người khác thì người đầu tiên phải nhất thiết phải đến trước đó thứ hai trong kế hoạch