ist natürlich das Auswahlaxiom. Es besagt, dass es zu jeder Mengenfamilie ein Representantensystem gibt, sprich: eine Funktion, die genau ein Element rauspickt. Das klingt natürlich erstmal völlig einleuchtend, wird aber bei unendlich vielen Mengen mit unendlich vielen Elementen schon schwieriger. Damit kann man dann merkwürdige Paradoxien entwickeln (Banach-Tarski). Trotzdem hat es sich durchgesetzt. Mehr zum Auswahlaxiom findet man auch auf dem Matheplaneten.