Less comprehensive, more specific: https://www.solipsys.co.uk/new/APointAgainstTheAxiomOfChoice.html?UG16HN https://www.solipsys.co.uk/new/APointAgainstTheAxio

Less comprehensive, more specific: https://www.solipsys.co.uk/new/APointAgainstTheAxiomOfChoice.html?UG16HN https://www.solipsys.co.uk/new/APointAgainstTheAxiomOfChoice... Also submitted as a separate item: https://news.ycombinator.com/item?id=27855143 https://news.ycombinator.com/item?id=27855143 Broadly (and as this article explains), AC says that given any collection of non-empty sets, you're allowed to "choose" a set that contains one thing from each of them. In set theory terms, the "product" of non-empty sets is non-empty. This has some uncomfortable consequences.