Теорија скупова — разлика између измена
Садржај обрисан Садржај додат
Ред 53:
**За сваки скуп <math>A</math> узајамно дисјунктних непразних скупова постоји скуп који садржи тачно један елемент из сваког скупа који припада скупу <math>A</math>.
Аксиома празног скупа није укључена у горњу листу јер се ова аксиома може извести из
Проблеми и сумње у ваљаност ове аксиоме потичу од чињенице да аксиома тврди да постоје скупови који не могу бити експлицитно дефинисани. Ове сумње су уклоњене Геделовим ({{јез-нем|Kurt Gödel }}) доказом да је аксиома избора сагласна са осталим Цермело-Френкел аксиомама. Аксиома избора је еквивалентна принципу добре уређености који тврди да сваки скуп може да се добро уреди тј. сваки скуп може да се линеарно уреди тако да сваки његов непразан подскуп има неки минимални елемент.
| |||