Ернст Цермело: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
м додана Категорія:Математики в теорії множин з допомогою HotCat |
|||
Рядок 52:
[[1904]] року з'явилась найвідоміша з робіт Цермело, у якій він довів, що будь-яка [[множина]] може бути приведена до [[впорядкована множина|впорядкованої множини]]. Доведення, щоправда, спиралось на так звану [[аксіома вибору|аксіому вибору]], що вперше явно сформульована саме в цій статті й нерідко називається «аксіома Цермело». У подальшому роль аксіоми вибору в математиці викликала активну дискусію різних математичних шкіл, у якій висловлювались найрізноманітніші думки — від цілковитої підтримки до абсолютного відкидання. Також були висловлені побоювання, що застосування цієї аксіоми може призвести до суперечностей. Тому Цермело зайнявся проблемою побудови [[аксіоматика теорії множин|аксіоматичного фундаменту теорії множин]] ([[1905]]).
Першу версію системи аксіом теорії множин Цермело опублікував у [[1908]] році, вона включала 7 аксіом. Пізніше [[
== Праці ==
|