Mac Lane, Saunders (1971), “Categorical algebra and set-theoretic foundations”, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967, Amer. Math. Soc., Providence, R.I., tr. 231–240, MR0282791. "Các nhà toán học làm việc thường nghĩ theo quan điểm của lý thuyết tập hợp ngây thơ (có thể ít nhiều tương đương với ZF)... một yêu cầu thực tế [của bất kỳ hệ thống nền tảng mới nào] có thể là hệ thống này có thể được sử dụng một cách "chất phác" bởi các nhà toán học không quá phức tạp trong nghiên cứu nền tảng (tr. 236).
books.google.com
Mac Lane, Saunders (1971), “Categorical algebra and set-theoretic foundations”, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967, Amer. Math. Soc., Providence, R.I., tr. 231–240, MR0282791. "Các nhà toán học làm việc thường nghĩ theo quan điểm của lý thuyết tập hợp ngây thơ (có thể ít nhiều tương đương với ZF)... một yêu cầu thực tế [của bất kỳ hệ thống nền tảng mới nào] có thể là hệ thống này có thể được sử dụng một cách "chất phác" bởi các nhà toán học không quá phức tạp trong nghiên cứu nền tảng (tr. 236).
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 thiết 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). "The Philosophy of Bertrand Russell". American Mathematical Monthly 53(4): 210 và trong bài phê bình của Laszlo Kalmar. (1946). "The Paradox of Kleene and Rosser". Journal of Symbolic Logic 11(4): 136. (JSTOR). Earliest Known Uses of Some of the Words of Mathematics (S) Thuật ngữ này sau đó đã được phổ biến trong cuốn sách của Paul Halmos (1960). Naïve Set Theory (Lý thuyết tập hợp chất phác).
