3 ms·
Well that's not entirely true. There has been a vast effort to make a foundation for mathematics with the various set theories. Naive set theory is usually used
by Dellort 17y ago
Well that's not entirely true. There has been a vast effort to make a foundation for mathematics with the various set theories. Naive set theory is usually used as a language for creating the mathematical primitives most working mathematicians deal with.
- ntownsend 17y agoI agree, there was a vast effort, but that was decades ago. As I said, most working mathematicians don't concern themselves with these issues and just stick with ZFC.