Martin Escardo on Nostr: I wrote "That's the "standard model of PA from the point of view of ZFC"." Actually, ...

I wrote "That's the "standard model of PA from the point of view of ZFC"."

Actually, it is not from the point of view of ZFC. It is from the point of view of the model of ZFC you apply to get your "standard model" of PA.

Evan Washington (npub1thq…5378)