This I understand somewhat as the statement that "one cannot construct the standard (i.e. intended model of) N in *V but any model of PA in *V will have nonstandard elements."
Which to me would still be in line with the original quote. That is, to get the standard N one would have to adopt some meta theory (if that is even allowed?) but the standard (i.e. intended) N is definitely not a standard model of PA in *V in any meaningful way.
What am I missing?
papalex
npub1w8…9a0pl
2026-05-07 13:31:14 UTC
in reply to nevent1q…wh3q
Author Public Key
npub1w8ywshe2tpjs8zdkffuzsmrugmgaujaez5z27n26k8ea34lq5dhsz9a0plSeen on
wss://relay.momostr.pinkPublished at
2026-05-07 13:31:14 UTCEvent JSON
{
"id": "b2dadbe00cf173f33b2a6d2ad977d25442768143ca8dfe75eee8fc50381972d1",
"pubkey": "71c8e85f2a58650389b64a78286c7c46d1de4bb91504af4d5ab1f3d8d7e0a36f",
"created_at": 1778160674,
"kind": 1,
"tags": [
[
"e",
"07e0b0015c937da8c8c83ee48a13501bdfe746c83b813c9b38d26dc0e96e01f9",
"",
"root",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://mathstodon.xyz/@papalex/116533537942462749",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"992e8c2fb6fc152674b4829b9cf33045e244c5fe84015130a665b492c91a4d32",
"",
"reply",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"p",
"71c8e85f2a58650389b64a78286c7c46d1de4bb91504af4d5ab1f3d8d7e0a36f"
],
[
"p",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://mathstodon.xyz/users/papalex/statuses/116533537942462749",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/papalex/statuses/116533537942462749",
"pink.momostr"
],
[
"-"
]
],
"content": "This I understand somewhat as the statement that \"one cannot construct the standard (i.e. intended model of) N in *V but any model of PA in *V will have nonstandard elements.\" \n\nWhich to me would still be in line with the original quote. That is, to get the standard N one would have to adopt some meta theory (if that is even allowed?) but the standard (i.e. intended) N is definitely not a standard model of PA in *V in any meaningful way. \n\nWhat am I missing?",
"sig": "42592334c5b3a0aac544731d0da3475d35f2be8696aefd518e66b0eccc67c616661f65e5cb279c6040645cfc325a945811d190aeff19f900fafc97af4cb7110d"
}