8 отношения: Класс (математика), Парадокс Кантора, Парадокс Рассела, Парадокс Мириманова, Формальная система, Бернайс, Пауль, Гёдель, Курт, 1897 год.
Класс (математика)
Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определенным свойством или признаком.
Новый!!: Парадокс Бурали-Форти и Класс (математика) · Узнать больше »
Парадокс Кантора
Парадо́кс Ка́нтора — парадокс теории множеств, который демонстрирует, что предположение о существовании множества всех множеств ведёт к противоречиям и, следовательно, противоречивой является теория, в которой построение такого множества возможно.
Новый!!: Парадокс Бурали-Форти и Парадокс Кантора · Узнать больше »
Парадокс Рассела
Бертран Рассел (1916) Парадокс Рассела (антиномия Рассела, также парадокс Рассела — Цермело) — открытый в 1901 году Бертраном Расселом теоретико-множественный парадокс (антиномия), демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора.
Новый!!: Парадокс Бурали-Форти и Парадокс Рассела · Узнать больше »
Парадокс Мириманова
Парадокс Мириманова (парадокс класса всех фундированных классов) — парадокс в теории множеств, являющийся обобщением парадокса Бурали-Форти.
Новый!!: Парадокс Бурали-Форти и Парадокс Мириманова · Узнать больше »
Формальная система
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Новый!!: Парадокс Бурали-Форти и Формальная система · Узнать больше »
Бернайс, Пауль
Па́уль Исаа́к Берна́йс (Paul Isaac Bernays, 17 октября 1888, Лондон — 18 сентября 1977, Цюрих) — швейцарский, известный своими работами в области математической логики, аксиоматической теории множеств и философии математики.
Новый!!: Парадокс Бурали-Форти и Бернайс, Пауль · Узнать больше »
Гёдель, Курт
Курт Фри́дрих Гёдель (Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский, и философ математики.
Новый!!: Парадокс Бурали-Форти и Гёдель, Курт · Узнать больше »
1897 год
Без описания.
Новый!!: Парадокс Бурали-Форти и 1897 год · Узнать больше »