Теория множеств фон Неймана–Бернейса–Гёделя
Теория множеств Фон Неймана–Бернейса–Геделя Основы теории множеств Теория множеств — это раздел математики, изучающий свойства множеств. Множество — это набор […]
Вики
Работы Курта Гёделя
Вики
Теорема Гёделя о полноте
Теорема Геделя о полноте Теорема Геделя о полноте Теорема утверждает, что любая непротиворечивая теория первого порядка имеет модель. Доказательство теоремы
Вики
О формально неразрешимых утверждениях Principia Mathematica и родственных системах
О формально неразрешимых положениях математических принципов и связанных с ними системах Обзор статьи «О формально неразрешимых положениях…» Статья Геделя о
Вики
Теоремы Гёделя о неполноте
Теоремы Геделя о неполноте Теорема Геделя о неполноте Гедель показал, что любая эффективная система аксиом не может доказать свою собственную
Вики
Конструируемая вселенная
Конструируемая вселенная Теория множеств ZFC — самая популярная аксиоматическая теория множеств. ZFC включает аксиомы бесконечности, выбора и степенного множества. L