- аксиоматизируемая теория
- мат. axiomatizable theor
Большой англо-русский и русско-английский словарь. 2001.
аксиоматизируемая теория
Смотреть что такое "аксиоматизируемая теория" в других словарях:
множеств теория — МНОЖЕСТВ ТЕОРИЯ учение о множествах, зародившееся в середине 19 в. и изучающее свойства множеств произвольной природы. Создание М. т. было подготовлено работами математиков, ставивших целью разработку оснований анализа. Первые работы в… … Энциклопедия эпистемологии и философии науки
ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… … Математическая энциклопедия
Гёдель, Курт — Курт Гёдель нем. Kurt Friedrich Gödel … Википедия
Гёдель — Гёдель, Курт Курт Гёдель нем. Kurt Friedrich Gödel 200px Курт Гёдель Дата рождения: 28 апреля 1906(1906 04 28) Место рождения … Википедия
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
