I'm also not an expert but I'll try to share my intuition here and I would be happy if an expert jumps in with a real example and/or debunking.
To make sense of the quote we need a nonstandard model of set theory where the notion of "standard set" makes sense. Presumably, standard sets are sets coming from a standard model of set theory V, which our nonstandard model is built around. So when we say "standard model of PA" we mean the naturals coming from V.
1/
typeswitch
npub1e9…2vdd5
2026-05-06 14:28:17 UTC
in reply to nevent1q…4n66
Author Public Key
npub1e9y64jhalql35k2cfhntmkvnnz5937pwrq0267578qrpty6uafzsc2vdd5Seen on
wss://relay.momostr.pinkPublished at
2026-05-06 14:28:17 UTCEvent JSON
{
"id": "bafa490bca61a4a68bd71fc5451d11a4c0b5279692316fef192a14684d9ffa55",
"pubkey": "c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45",
"created_at": 1778077697,
"kind": 1,
"tags": [
[
"e",
"07e0b0015c937da8c8c83ee48a13501bdfe746c83b813c9b38d26dc0e96e01f9",
"",
"root",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"e",
"038e8fc06a80153a91e1da9ad24d2536afdc1d547b8e8683e6e672057570920e",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://gamedev.lgbt/@typeswitch/116528099963127766",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"71c8e85f2a58650389b64a78286c7c46d1de4bb91504af4d5ab1f3d8d7e0a36f"
],
[
"p",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://gamedev.lgbt/users/typeswitch/statuses/116528099963127766",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://gamedev.lgbt/users/typeswitch/statuses/116528099963127766",
"pink.momostr"
],
[
"-"
]
],
"content": "I'm also not an expert but I'll try to share my intuition here and I would be happy if an expert jumps in with a real example and/or debunking.\n\nTo make sense of the quote we need a nonstandard model of set theory where the notion of \"standard set\" makes sense. Presumably, standard sets are sets coming from a standard model of set theory V, which our nonstandard model is built around. So when we say \"standard model of PA\" we mean the naturals coming from V.\n\n1/",
"sig": "e0edb2aa867a62d329bb427c600807bac06b5dad0d645d690871c46ed8364f32fe29b00db1ae87a1598e296e34ebd85243d2a2206031e5022b64044e45e34c53"
}