Axiom výběru: Porovnání verzí