azul on Nostr: losing my mind over the highlighted sentence. in other words. in a nonstandard model ...

losing my mind over the highlighted sentence. in other words. in a nonstandard model of peano arithmetic, you can have "infinite" natural numbers. in some nonstandard model of set theory, the standard model of peano arithmetic has infinite natural numbers, and you need a nonstandard model of peano arithmetic to exclude them.