I've never come across empty sets with regard to AoC. Just that, if the drawers contain shoes, which come in left and right varieties, then AoC is not required.
https://proofwiki.org/wiki/Axiom_of_Choice/Examples/Russell%27s_Socks_and_Shoes
Skewray Research (ZF¬C)
npub1cd…ur4z3
2025-07-02 15:51:55 UTC
in reply to nevent1q…9dzf
Author Public Key
npub1cd8m89atxa5zznp09awxczr0nvzq6kwv83jk4zp60748hy76t34qsur4z3Seen on
wss://relay.momostr.pinkPublished at
2025-07-02 15:51:55 UTCEvent JSON
{
"id": "1e5bfeb7a4be1a908abc6c017213150333aa0922e6ac4fd6574d6da40bcc16ff",
"pubkey": "c34fb397ab3768214c2f2f5c6c086f9b040d59cc3c656a883a7faa7b93da5c6a",
"created_at": 1751471515,
"kind": 1,
"tags": [
[
"e",
"684c253f63c8b3b1209635a4e99a47612a4ddb7b2b65c4c6cfcc5902608c1dd3",
"",
"reply",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"c34fb397ab3768214c2f2f5c6c086f9b040d59cc3c656a883a7faa7b93da5c6a"
],
[
"p",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"e",
"3fc2ab94680fd7bf4796d346cedf6927d8db7f0c3c2899b42ca750302069e840",
"",
"root",
"47d069b9227182c947fa6974c32d7cdf8764f5916ef0e6d88011720b2cf1db53"
],
[
"proxy",
"https://mathstodon.xyz/@skewray/114784437253174781",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/skewray/statuses/114784437253174781",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/skewray/statuses/114784437253174781",
"pink.momostr"
],
[
"-"
]
],
"content": "I've never come across empty sets with regard to AoC. Just that, if the drawers contain shoes, which come in left and right varieties, then AoC is not required.\n\nhttps://proofwiki.org/wiki/Axiom_of_Choice/Examples/Russell%27s_Socks_and_Shoes",
"sig": "4a3e3f085e79c2b7ab66bdc3806a672f1f3fc0928b1b8fc7be950485c2f5d184c1facfda5dcc4f2bf4215cc51ec9816bb277b30f59069891214d5846724f2193"
}