Список аксиом - List of axioms

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

ZF ( аксиомы Цермело – Френкеля без аксиомы выбора)

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

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

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

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

Эквиваленты переменного тока

Сильнее переменного тока

Слабее переменного тока

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

Другие аксиомы математической логики

Геометрия

Другие аксиомы

Смотрите также