halmos naive set theory
y for foundational work but not as the language most mathematicians use daily. His writings aim to show that naive set theory is "good enough" for most purposes, with formal systems reserved for rigorous foundational analysis. The I