Ернст Цермело: відмінності між версіями

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