I must admit that I am not an expert and might have misunderstood the assumptions of the quote. In particular, I read the ZFC part in the quote more as an example rather than an assumption. Though I also don't know prior to googling whether "non-standard model of set theory" implicitly excludes IST?
Either way, I would enjoy to learn more about any of these things and am happy to accept if my answer was missing the point, if that is the case?
Ignoring any nitty gritty interpretations of the original quote. You wrote "in a non-standard model of ZFA". What actually does this include? I would assume anything with ZFA axioms plus whatever other non-standard axioms goes, which I think IST would fulfill, no?
papalex
npub1w8…9a0pl
2026-05-06 12:26:23 UTC
in reply to nevent1q…4n66
Author Public Key
npub1w8ywshe2tpjs8zdkffuzsmrugmgaujaez5z27n26k8ea34lq5dhsz9a0plSeen on
wss://relay.momostr.pinkPublished at
2026-05-06 12:26:23 UTCEvent JSON
{
"id": "49a5b163239508d16cae26a6223f34a9f42ccacdf03a1455e5492aae20fa9f32",
"pubkey": "71c8e85f2a58650389b64a78286c7c46d1de4bb91504af4d5ab1f3d8d7e0a36f",
"created_at": 1778070383,
"kind": 1,
"tags": [
[
"e",
"07e0b0015c937da8c8c83ee48a13501bdfe746c83b813c9b38d26dc0e96e01f9",
"",
"root",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"e",
"038e8fc06a80153a91e1da9ad24d2536afdc1d547b8e8683e6e672057570920e",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/@papalex/116527620633587340",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"71c8e85f2a58650389b64a78286c7c46d1de4bb91504af4d5ab1f3d8d7e0a36f"
],
[
"p",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://mathstodon.xyz/users/papalex/statuses/116527620633587340",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/papalex/statuses/116527620633587340",
"pink.momostr"
],
[
"-"
]
],
"content": "I must admit that I am not an expert and might have misunderstood the assumptions of the quote. In particular, I read the ZFC part in the quote more as an example rather than an assumption. Though I also don't know prior to googling whether \"non-standard model of set theory\" implicitly excludes IST? \n\nEither way, I would enjoy to learn more about any of these things and am happy to accept if my answer was missing the point, if that is the case? \n\nIgnoring any nitty gritty interpretations of the original quote. You wrote \"in a non-standard model of ZFA\". What actually does this include? I would assume anything with ZFA axioms plus whatever other non-standard axioms goes, which I think IST would fulfill, no?",
"sig": "eedc8fe81c5a5a0cca0b9912b0c2a4297ba4f3b42239d0e423952845eae8088871655c9ae8a487caed3ec89cc62e6dae25105a4310039e23693644d5b66d93fd"
}