Tag: non-standard model

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…