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., стр. 231—240, MR0282791. "The working mathematicians usually thought in terms of a naïve set theory (probably one more or less equivalent to ZF) ... a practical requirement [of any new foundational system] could be that this system could be used "naïvely" by mathematicians not sophisticated in foundational research" (p. 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., стр. 231—240, MR0282791. "The working mathematicians usually thought in terms of a naïve set theory (probably one more or less equivalent to ZF) ... a practical requirement [of any new foundational system] could be that this system could be used "naïvely" by mathematicians not sophisticated in foundational research" (p. 236).
Jeff Miller writes that naïve set theory (as opposed to axiomatic set theory) was used occasionally in the 1940s and became an established term in the 1950s. It appears in Hermann Weyl's review of P. A. Schilpp (Ed). (1946). “The Philosophy of Bertrand Russell” American Mathematical Monthly, 53(4), p. 210 and in a review by Laszlo Kalmar. (1946). “The Paradox of Kleene and Rosser”. Journal of Symbolic Logic, 11(4), p. 136. (JSTOR). [1] The term was later popularized in a book by Paul Halmos (1960). Naïve Set Theory.
Letters from Cantor to Richard Dedekind on August 3, 1899 and on August 30, 1899, Zermelo 1932, стр. 448 (System aller denkbaren Klassen) and Meschkowski & Nilson 1991, стр. 407. (There is no set of all sets.) Zermelo, Ernst (1932), Georg Cantor: Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Mit erläuternden Anmerkungen sowie mit Ergänzungen aus dem Briefwechsel Cantor-Dedekind. Edited by the author., Berlin: SpringerMeschkowski, Herbert; Nilson, Winfried (1991), Georg Cantor: Briefe. Edited by the authors., Berlin: Springer, ISBN3-540-50621-7
en.wikipedia.org
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., стр. 231—240, MR0282791. "The working mathematicians usually thought in terms of a naïve set theory (probably one more or less equivalent to ZF) ... a practical requirement [of any new foundational system] could be that this system could be used "naïvely" by mathematicians not sophisticated in foundational research" (p. 236).
