• случае для бесконечных семейств аксиома выбора не следует из других аксиом и является независимым утверждением. Аксиома выбора была сформулирована и опубликована...
    34 KB (2,356 words) - 14:41, 15 February 2024
  • системы аксиом. Аксиома выбора Аксиома параллельности Евклида Аксиома Архимеда Аксиома объёмности Аксиома регулярности Аксиома полной индукции Аксиома Колмогорова...
    15 KB (952 words) - 06:26, 15 April 2024
  • )}{\bigr )}{\bigr )}{\bigr )}} — аксиома выбора Аксиомы ZFC включают в себя: 0) группу высказываний о равенстве множеств (аксиома 1), 1) группу высказываний...
    51 KB (7,234 words) - 01:08, 24 December 2023
  • {\displaystyle \aleph _{0}} . Если выполняется аксиома выбора или, по крайней мере, аксиома счетного выбора (более слабая), то ℵ 0 {\displaystyle \aleph...
    14 KB (1,004 words) - 04:38, 29 March 2024
  • формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Цорна Эквивалентность...
    14 KB (1,486 words) - 02:29, 8 January 2022
  • Аксиома зависимого выбора — одно из ослаблений аксиомы выбора. Обычно обозначается как D C {\displaystyle \mathbf {DC} } . Аксиома зависимого выбора следует...
    7 KB (635 words) - 11:07, 25 April 2024
  • Аксиома детерминированности — аксиома теории множеств, обычно обозначаемая AD. Эту аксиому предложили в 1962 году польские математики Ян Мычельский и...
    17 KB (1,117 words) - 13:10, 25 March 2023
  • 5-й постулат Евклида недоказуем с помощью остальных аксиом классической геометрии. Аксиома выбора и континуум-гипотеза недоказуемы в теории множеств с...
    2 KB (112 words) - 07:20, 20 May 2019
  • подход классической теории множеств (в частности, не принимаются аксиома выбора и аксиома регулярности) и ряд рассуждений классической логики. Абстракция...
    12 KB (594 words) - 09:29, 8 December 2023
  • Континуум-гипотеза (category Аксиомы теории множеств)
    Шпеккер в 1952 году, из неё следует аксиома выбора. GCH независима от CH как в ZF, так и в ZFC. GCH в ZF следует из аксиомы конструктивности. Алеф-гипотезой...
    13 KB (971 words) - 04:33, 29 March 2024
  • Квадратура круга Тарского (category Аксиома выбора)
    математик Миклош Лацкович. Доказательство Лацковича опирается на аксиому выбора. Найденное разбиение состоит из примерно 1050 частей, которые являются неизмеримыми...
    8 KB (566 words) - 06:43, 30 October 2023