axióm výběru
axióm výběru, 1. mat. Zermelův axióm - důležitý princip teorie množin, který se z naivního hlediska zdá zřejmý: mějme množinu M, jejíž prvky jsou disjunktní neprázdné množiny M α (alfa). Potom existuje množina M, jejíž každý prvek je prvkem mα (m alfa) některé množiny M α (alfa) a jejíž průnik s každou množinou M α (alfa) obsahuje právě jeden prvek; 2. log. princip potvrzující existenci množiny reprezentantů neuvádí efektivní způsob konstrukce, což vedlo k opatrnosti v jeho používání. Nezávislost a. v. na ostatních axiómech teorie množin dokázal 1964 P. J. Cohen.
