azul on Nostr: yeah i think IST is an example of what I said. The standard set of natural numbers in ...

yeah i think IST is an example of what I said. The standard set of natural numbers in IST contains nonstandard elements, and the set of standard natural numbers is nonstandard.