Post #2264408
2026-05-06 11:30 UTC
@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 🤯
Replies (1)
-
@johncarlosbaez@mathstodon.xyz 2026-05-06 12:09
@papalex@mathstodon.xyz @typeswitch@gamedev.lgbt - while I like IST, the quote refers to ZFC and PA, so I was expecting whoever wrote it to be able to give a nonstandard model of PA in a nonstandard model of ZFC which is the unique "initial" model of PA. That's what they seemed claim exists!