Cái của toán học, trên mô hình của các yếu tố của Euclid, đã đạt được mức độ mới của khắc và rộng vào cuối thế kỷ 19, đặc biệt là trong số học, nhờ có axiom schema của Richard Dedekind và Charles Sanders Peirce, và hình học, cảm ơn David Hilbert. Vào đầu thế kỷ 20, nỗ lực để căn cứ toán học về lý thuyết ngây thơ đã phải chịu một thất bại do nghịch lý của Russell (trên bộ tất cả các bộ không thuộc về bản thân mình). Vấn đề của một lý thuyết đầy đủ của bộ lý thuyết đã được giải quyết trong hai mươi năm sau đó bởi Ernst lý và Abraham Einstein. thuyết-Einstein bộ lý thuyết cung cấp một loạt các nguyên tắc được phép cho công trình của các bộ được sử dụng trong thực hành hàng ngày của toán học. Nhưng họ không thể loại trừ khả năng sự tồn tại của một bộ đồ thuộc về chính nó. Trong luận án tiến sĩ của năm 1925, von Neumann đã chứng minh hai kỹ thuật để loại bỏ những bộ như vậy - axiom của nền tảng và quan niệm của lớp học.
Von Neumann đã sử dụng 2 kỹ thuật nào để loại trừ các bộ trong luận án tiến sĩ của mình vào năm 1925?
 axiom của nền tảng và quan niệm của lớp học.