- I'm not sure that claim is true. I'd have to see a proof to believe it. It's a fairly subtle subject.
If it's true, that's quite exciting to me, since I've spent some time trying to understand nonstandard models of PA in this conversation with Michael Weiss:
https://diagonalargument.com/mathnotes/nonstandard-models-of-arithmetic-the-series/
John Carlos Baez
npub1nf…3nqe4
2026-05-06 09:00:28 UTC
in reply to nevent1q…ghf7
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2026-05-06 09:00:28 UTCEvent JSON
{
"id": "55b2543b2d3874794fb98dbdfa51e515f58d3e32debcb9c2fd4690d3d49945a4",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1778058028,
"kind": 1,
"tags": [
[
"p",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/116526810977609014",
"web"
],
[
"e",
"07e0b0015c937da8c8c83ee48a13501bdfe746c83b813c9b38d26dc0e96e01f9",
"",
"root",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"e",
"d71d65f044a9fd7cd995bb6908d29758993dbce54bb4aec756f69aea90585f1d",
"",
"reply",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/116526810977609014",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/116526810977609014",
"pink.momostr"
],
[
"-"
]
],
"content": "- I'm not sure that claim is true. I'd have to see a proof to believe it. It's a fairly subtle subject.\n\nIf it's true, that's quite exciting to me, since I've spent some time trying to understand nonstandard models of PA in this conversation with Michael Weiss:\n\nhttps://diagonalargument.com/mathnotes/nonstandard-models-of-arithmetic-the-series/",
"sig": "d2696320d956451895e04ea13911da0c59e8d24237b5173f04234e36c2020ba0491075beec3891c28e0c68333959a95bf7f06f1a81c0db12e48f904896cef578"
}