papalex on Nostr: You are right and this shows where the IST approach actually fails and why it’s not ...

You are right and this shows where the IST approach actually fails and why it’s not a nonstandard model in the model theoretic sense (it’s just not the standard theory). Being nonstandard in IST does not mean to be nonstandard in the model theoretic sense. It is just an additional predicate we can choose to add or not to add to ZFC. But crucially, being an unbounded integer in IST means being unbaunded against “standard” integers. But is does not mean unbounded in the conventional sense. So we cannot compare these things which, as you write, collapses the argument. That’s right.

So the question: can any of the argument be recycled for an actual nonstandard model or was John Carlos Baez (npub1nf4…nqe4) right all along tha the quote must be wrong?