Jorge Stolfi (jorgestolfi@mas.to)'s status on Sunday, 17-Nov-2024 21:52:21 JST

@futurebird @dymaxion @whknott

🧵> Some math theorems depend on the axiom of choice. If I got it right, it says that, given any (finite or infinite) set of non-empty and disjoint sets, there is a set that consists of one element from each of those sets. Seems pretty obvious and lame, but it leads to several counterintuitive results...