Naïve set theory

This post is sort of a translation and a follow-up of a post in Spanish about the comparison between naïve and axiomatic set theory.

The point I made in the previous post is that

One leaves naïve set theory in the moment that first order logic (FOL) gets explicit.

Or, from a different perspective, when you realize in full the possibility of different models of set theory.
Continue reading