Объемности Аксиома

237

- одна из аксиом теории множеств, утверждающая равенство двух множеств, если они содержат одни и те же элементы. В языке, не содержащем символа равенства и имеющем только один предикатный символ , О. А. Имеет вид . Для формализации математики в системе Цермело - Френкеля ZF О. А. Не имеет существенного значения. Все, что может быть построено в рамках системы ZF, может быть формализовано в системе без О. А. Пусть ZF-- система ZF, получающаяся из ZF удалением О. А. И заменой в остальных аксиомах формул вида u = v на формулу Тогда можно показать, что существует интерпретация системы ZF в ZF-. Аналогичное утверждение справедливо и для теории типов. Для системы NF Куайна, получающейся из теории типов "стиранием" типовых индексов, положение меняется.

В системе NF- невозможно интерпретировать систему NF. Система NF- (NF без О. А.) довольно слабая теория, ее непротиворечивость доказуема в формальной арифметике. В то время как система NF не слабее теории типов с аксибмой бесконечности. Лит.:[1] Handbook of Mathematical Logic, Amst.-N. Y.- Oxf., 1977. [2] Вoffa M., "J. Symbol. Logic", 1977, v. 42, № 2, p. 215-20. В. Н. Гришин..

Значения в других словарях
Объект

категории - термин, используемый для обозначения элементов произвольной категории, играющих роль множеств, групп, топологич. Пространств и т. П. О. Категории - неопределяемое понятие. Каждая категория состоит из элементов двух классов, наз. Классом объектов и классом морфизмов соответственно. Класс О. Категории обычно обозначается . Любому объекту Акатегории однозначно соответствует единичный морфиам , причем разным О. Отвечают разные единичные морфнз-мы. Поэтому формально можно определить по..

Объем

• значительный объем. ..

Объемный Потенциал

- выражение вида где D- конечная область евклидова пространства ограниченная замкнутой поверхностью (при N - 2- кривой) Ляпунова - фундаментальное решение оператора Лапласа, - площадь единичной сферы в - расстояние между точками хи у, - элемент объема D. Если то О. П. Определен для всех . При этом в дополнительной области CD функция и(х)имеет производные всех порядков и удовлетворяет Лапласа уравнению т. Е. Является гармонической функцией;при . Эта функция регулярна на бесконечности..

Овал

- замкнутая выпуклая -гладкая линия в . Точки О., в к-рых кривизна достигает экстремума, наз. Вершинами О. Число вершин О. Не менее четырех. Пусть Е- О ., пробегаемый против часовой стрелки, в плоскости с декартовыми прямоугольными координатами х, y. H- расстояние ориентированной касательной к Еот начала О (h>. 0, если вращение касательной вокруг Опроисходит против часовой стрелки). Тогда уравнение касательной где - угол касательной с осью Ох. Величина наз. Опорной функцией О. Радиус к..

Дополнительный поиск Объемности Аксиома Объемности Аксиома

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Объемности Аксиома" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Объемности Аксиома, различные варианты толкований, скрытый смысл.

Первая буква "О". Общая длина 18 символа