Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Свободно
Более быстрый доступ, чем браузер!
 

Парадокс Бурали-Форти

Индекс Парадокс Бурали-Форти

Парадокс Бурали-Форти демонстрирует, что предположение о существовании множества всех порядковых чисел ведёт к противоречиям и, следовательно, противоречивой является теория множеств, в которой построение такого множества возможно.

8 отношения: Класс (математика), Парадокс Кантора, Парадокс Рассела, Парадокс Мириманова, Формальная система, Бернайс, Пауль, Гёдель, Курт, 1897 год.

Класс (математика)

Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определенным свойством или признаком.

Новый!!: Парадокс Бурали-Форти и Класс (математика) · Узнать больше »

Парадокс Кантора

Парадо́кс Ка́нтора — парадокс теории множеств, который демонстрирует, что предположение о существовании множества всех множеств ведёт к противоречиям и, следовательно, противоречивой является теория, в которой построение такого множества возможно.

Новый!!: Парадокс Бурали-Форти и Парадокс Кантора · Узнать больше »

Парадокс Рассела

Бертран Рассел (1916) Парадокс Рассела (антиномия Рассела, также парадокс Рассела — Цермело) — открытый в 1901 году Бертраном Расселом теоретико-множественный парадокс (антиномия), демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора.

Новый!!: Парадокс Бурали-Форти и Парадокс Рассела · Узнать больше »

Парадокс Мириманова

Парадокс Мириманова (парадокс класса всех фундированных классов) — парадокс в теории множеств, являющийся обобщением парадокса Бурали-Форти.

Новый!!: Парадокс Бурали-Форти и Парадокс Мириманова · Узнать больше »

Формальная система

Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.

Новый!!: Парадокс Бурали-Форти и Формальная система · Узнать больше »

Бернайс, Пауль

Па́уль Исаа́к Берна́йс (Paul Isaac Bernays, 17 октября 1888, Лондон — 18 сентября 1977, Цюрих) — швейцарский, известный своими работами в области математической логики, аксиоматической теории множеств и философии математики.

Новый!!: Парадокс Бурали-Форти и Бернайс, Пауль · Узнать больше »

Гёдель, Курт

Курт Фри́дрих Гёдель (Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский, и философ математики.

Новый!!: Парадокс Бурали-Форти и Гёдель, Курт · Узнать больше »

1897 год

Без описания.

Новый!!: Парадокс Бурали-Форти и 1897 год · Узнать больше »

Перенаправления здесь:

Парадокс Бурали — Форти.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »