"Каменный цветок - 2006" (Екатеринбург). ЧГК. 4 тур. Вопрос 6

Вопрос 6: ОНА появилась на свет в 1904 году и сразу стала предметом споров. Считается, что ОНА не вполне подходит к нашему миру, хотя в какой-то степени соответствует человеческому мышлению. Лишь в 1963 году ОНА обрела независимость. А вот ученый Роман Шамин, рассуждая о незыблемых истинах, которые мы определяем для себя, предлагает такую ЕЕ: "Свобода и достоинство дороже жизни, а истину нельзя никогда предавать и давать в обиду". Назовите ЕЕ.

Ответ: Аксиома выбора.

Комментарий: Эту аксиому, являющуюся одной из центральных в высшей алгебре, предложил Цермело. Впоследствии была доказана ее независимость от системы аксиом множеств Цермело-Френкеля, что, кстати, несколько напоминает независимость аксиомы о параллельных прямых от остальных аксиом Евклида.

Источник(и):
    1. http://lib.hsgm.ru/?page=art&id=1678&pg=14
    2. http://www.cdrm.ru/kerigma/rek-lit/nauka/katasonov/ApofatikaNauka.htm
    3. http://www.shamin.ru/esse/axiom.php

Автор: Евгений Старков