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.
GRAND FINAL of the Axiom of Choice of Choice Award 2022. The tie-break match had no clear winner, so the tie is broken in favour of our intuitionist candidate on the basis of its total wins and its total votes.
Pick your favourite equivalent of the axiom of choice out of the options below:
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.