Post #2264407
2026-05-06 11:25 UTC
@papalex@mathstodon.xyz @johncarlosbaez@mathstodon.xyz 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.
Replies (1)
-
@papalex@mathstodon.xyz 2026-05-06 11:30
@typeswitch@gamedev.lgbt @johncarlosbaez@mathstodon.xyz Indeed, with a linguistic glitch: In IST, the standard natural numbers are standard in the sense of the standard predicate. However, the standard predicate is not standard, so the standard natural numbers in IST are non standard in the standard sense 🤯