John Carlos Baez on Nostr: - while I like IST, the quote refers to ZFC and PA, so I was expecting whoever wrote ...

- 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!