Experimental browser for the Atmosphere
the axiom *sounds fine* because you're picturing it with vaguely real-world limitations, because thats how its described, but you don't actually need it for finite numbers of sets (or even infinite numbers of countable sets). it basically only exists for infinite numbers of uncountable sets
Apr 29, 2025, 11:51 PM
{ "uri": "at://did:plc:eerlwrwx25lfeot7dcruvqrv/app.bsky.feed.post/3lnyhx4saj22c", "cid": "bafyreic6kijv4t3yy67h4wmfn42ais6gixud6elmp5wruuxvp3ygx7lyhe", "value": { "text": "the axiom *sounds fine* because you're picturing it with vaguely real-world limitations, because thats how its described, but you don't actually need it for finite numbers of sets (or even infinite numbers of countable sets). it basically only exists for infinite numbers of uncountable sets", "$type": "app.bsky.feed.post", "langs": [ "en" ], "reply": { "root": { "cid": "bafyreidrk7c36fvbqhxm7w5hotog7zavz5agvompkyc2vbmvb7pmq3vooq", "uri": "at://did:plc:eerlwrwx25lfeot7dcruvqrv/app.bsky.feed.post/3lnyeifjpt226" }, "parent": { "cid": "bafyreieut7tioutljdmvcthg4uqtrlg4af6mq4bldmz247z3gfk2o2tpwi", "uri": "at://did:plc:u7lzkdjppnnv2sw7lweh7ypt/app.bsky.feed.post/3lnyhiaxrgs2p" } }, "createdAt": "2025-04-29T23:51:20.045Z" } }