ординал
11Открытые математические проблемы — Открытые (нерешённые) математические проблемы  проблемы, которые рассматривались математиками, но до сих пор не решены. Часто имеют форму гипотез, которые предположительно верны, но нуждаются в доказательстве. В научном мире популярна… …
12БЕСКОНЕЧНОЕ — филос. категория, характеризующая неисчерпаемость материи и движения, многообразие явлений и предметов материального мира, форм и тенденций его развития. Признавая объективное существование Б. в природе, диалектич. материализм отвергает… …
13КОНСТРУКТИВНОЕ ПО ГЁДЕЛЮ МНОЖЕСТВО — множество, возникающее в описанном ниже процессе построения множеств. Пусть X множество и X. Рассмотрим язык 1 й ступени L(R, X), содержащий один 2 местный предикатный символ, обозначающий отношение R, и индивидные константы, обозначающие… …
14НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное …
15ПОРЯДКОВОЕ ЧИСЛО — трансфинитное число, ординальное число, ординал, порядковый тип вполне упорядоченного множества. Понятие П. ч. ввел Г. Кантор (G. Cantor, 1883, см. [2]). Напр., П. ч. множества натуральных чисел, упорядоченного отношением , есть w. П. ч.… …
16СТАБИЛЬНЫЕ И НЕСТАБИЛЬНЫЕ ТЕОРИИ — раздел моделей теории, изучающий стабильность элементарных теорий. Пусть Т полная теория первого порядка сигнатуры А модель теории Ти Сигнатура получается из добавлением символов с а выделенных элементов для всех Система <А, X> имеет сигнатуру …
17УПОРЯДОЧЕННАЯ ГРУППА — группа G, на к poй задано отношение порядка такое, что для любых а, b, х, у из G неравенство влечет за собой Порядок, как правило, подразумевается линейным и в этом случае понятие У. г. совпадает с понятием линейно упорядоченной группы. Иногда… …
18Математика — Евклид. Деталь «Афинской школы» Рафаэля Математика (от др. греч …
19Пустое множество — Обозначение пустого множества Пустое множество (в математике)  множество, не содержащее ни одного элемента. Из аксиомы объёмности следует, что есть только одно множество, обладающее таким свойс …
20Простое число — Простое число  это натуральное число, имеющее ровно два различных натуральных делителя: единицу и само себя. Все остальные натуральные числа, кроме единицы, называются составными. Таким образом, все натуральные числа больше единицы… …