Вернуться в алфавитное меню

Аксиома Цермело

Аксиома Цермело (или аксиома выбора). До того, как принцип был сформулирован явно, Кантор (и другие) использовали его в доказательствах, не отдавая отчета в том, что применяется прием, не принятый в классической математике и логике. Необходимость такого рода аксиомы отметил итальянский математик Б. Леви (1902). Цермело (по совету Шмидта) сформулировал аксиому в явном виде (1904) и включил ее в систему аксиом теории множеств (1908); он называл ее Axiom der Aussonderung — «аксиома отсеивания», «отбора», «выделения». Аксиома была встречена бурной полемикой. Рассел высказывался о ней так: «Сначала она кажется очевидной; но чем больше вдумываешься, тем более странными кажутся выводы из этой аксиомы; под конец же перестаешь понимать, что же она означает». [114, с. 55, 66]; [28, с. 75]

Источник - Александрова Н.В. Математические термины - справочник / Словарь математических терминов /
Рецензенты: канд. физ.-матем. наук доц. Р. С. Гутер и кафедра высшей математики МИСИ /

Яндекс.Метрика