Список аксиом

редактировать
Статья со списком Википедии

Это список аксиом, как этот термин понимается в математике, на странице Википедии. В эпистемологии слово аксиома понимается иначе; см. аксиому и самоочевидность. Индивидуальные аксиомы почти всегда являются частью более крупной аксиоматической системы.

Содержание
  • 1 ZF (аксиомы Цермело – Френкеля без аксиомы выбора)
  • 2 Аксиома выбора
    • 2.1 Эквиваленты AC
    • 2.2 Сильнее AC
    • 2.3 Слабее AC
    • 2.4 Альтернативы, несовместимые с AC
  • 3 Другие аксиомы математической логики
  • 4 Геометрия
  • 5 Другие аксиомы
  • 6 См. Также
ZF (аксиомы Цермело – Френкеля без аксиомы выбора)

Вместе с аксиомой выбора (см. Ниже) это де-факто стандартные аксиомы для современная математика или теория множеств. Их можно легко адаптировать к аналогичным теориям, таким как мереология.

См. также Теория множеств Цермело.

Аксиома выбора

С Цермело– Приведенные выше аксиомы Френкеля составляют систему ZFC, в которой большая часть математики потенциально формализуется.

Эквиваленты AC

Сильнее AC

Слабее AC

Альтернативы, несовместимые с AC

Другие аксиомы математической логики
Последняя правка сделана 2021-05-28 06:33:28
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru