papalex on Nostr: Indeed, with a linguistic glitch: In IST, the standard natural numbers are standard ...

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 🤯