Khác biệt giữa bản sửa đổi của “Lý thuyết tập hợp ngây thơ”

Lý thuyết tập hợp Naïve là bất kỳ lý thuyết nào trong số các lý thuyết tập hợp được sử dụng trong cuộc thảo luận về nền tảng của toán học<ref>Jeff Miller viết rằng '' lý thuyết tập hợp ngây thơ '' (trái ngược với lý thuyết tập hợp tiên đề) đôi khi được sử dụng vào những năm 1940 và trở thành một thuật ngữ được thành lập vào những năm 1950. Nó xuất hiện trong bài phê bình của Hermann Weyl về P. A. Schilpp (Ed). (1946). Triết lý của Bertrand Russell '' Hàng tháng toán học Mỹ '', 53 (4), trang & nbsp; 210 và trong bài đánh giá của Laszlo Kalmar. (1946). Nghịch lý của Kleene và Rosser. '' Tạp chí Logic tượng trưng '', 11 (4), trang. & Nbsp; 136. (JSTOR). [http://jeff560.tripod.com/s.html] Thuật ngữ này sau đó đã được phổ biến trong một cuốn sách của [[Paul Halmos]] (1960). '' Lý thuyết tập hợp ngây thơ ''.</ref>

. Không giống như các lý thuyết tập hợp tiên đề, được xác định bằng logic chính thức, '''lý thuyết tập hợp ngây thơ''' được định nghĩa không chính thức, bằng ngôn ngữ tự nhiên. Nó mô tả các khía cạnh của các bộ toán học quen thuộc trong toán học rời rạc (ví dụ biểu đồ Venn và lý luận tượng trưng về đại số Boolean của chúng), và đủ cho việc sử dụng hàng ngày các khái niệm lý thuyết tập hợp trong toán học đương đại.