Список аксиом - List of axioms
Это Список аксиомы как этот термин понимается в математика, на странице Википедии. В эпистемология, слово аксиома понимается иначе; видеть аксиома и самоочевидность. Индивидуальные аксиомы почти всегда являются частью более крупного аксиоматическая система.
ZF ( Аксиомы Цермело – Френкеля без аксиомы выбора)
Вместе с аксиомой выбора (см. Ниже) это де-факто стандартные аксиомы для современных математика или же теория множеств. Их легко адаптировать к аналогичным теориям, таким как мереология.
- Аксиома протяженности
- Аксиома пустого множества
- Аксиома спаривания
- Аксиома союза
- Аксиома бесконечности
- Схема аксиомы замены
- Аксиома власти
- Аксиома регулярности
- Схема аксиомы спецификации
Смотрите также Теория множеств Цермело.
Аксиома выбора
С аксиомами Цермело – Френкеля, приведенными выше, это составляет систему ZFC в котором большая часть математики потенциально формализуется.
Эквиваленты переменного тока
Сильнее переменного тока
Слабее переменного тока
- Аксиома счетного выбора
- Аксиома зависимого выбора
- Теорема о булевом простом идеале
- Аксиома униформизации
Альтернативы несовместимы с AC
Другие аксиомы математическая логика
- Аксиомы фон Неймана – Бернейса – Гёделя.
- Гипотеза континуума и его обобщение
- Аксиома симметрии Фрейлинга
- Аксиома определенности
- Аксиома проективной детерминированности
- Аксиома мартина
- Аксиома конструктивности
- Ранг в ранг
- Аксиомы Крипке – Платека
- Алмазный принцип
Геометрия
- Параллельный постулат
- Аксиомы Биркгофа (4 аксиомы)
- Аксиомы Гильберта (20 аксиом)
- Аксиомы Тарского (10 аксиом и 1 схема)
Другие аксиомы
- Аксиома архимеда (настоящий номер )
- Аксиома счетности (топология )
- Аксиомы Дирака – фон Неймана
- Основная аксиома анализа (реальный анализ )
- Аксиома склеивания (теория связок )
- Аксиомы Хаага-Кастлера (квантовая теория поля )
- Аксиомы Хузиты (оригами )
- Аксиомы замыкания Куратовского (топология )
- Аксиомы Пеано (натуральные числа )
- Аксиомы вероятности
- Аксиома разделения (топология )
- Аксиомы Вайтмана (квантовая теория поля )
