ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

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

Record data

{
  "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"
  }
}