Happy new year, it's time for the Axiom of Choice of Choice Award 2022! Each day you can vote between two equivalent formulations of the Axiom of Choice (see also https://mastodon.vierkantor.com/@Vierkantor/107390120653189558), until one remains at the end of January.
Axiom of Choice of Choice Award 2022 round 1 match 13: pick your favourite equivalent of the axiom of choice out of the two options below:
For choice 2:
A wild Law of the Excluded Middle has appeared
But Russell's antinomy
Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.