Омбилическая Точка

- один из пяти типов правильных многогранников. О. Имеет 8 граней (треугольных), 12 ребер, 6 вершин (в каждой вершине сходятся 4 ребра). Если а - длина ребра О., то его объем БСЭ-З. . ..

- пространство, получающееся из октаэдра при отождествлении противоположных его граней - треугольников, повернутых друг относительно друга на угол p/3. О. П. - трехмерное многообразие, являющееся пространством орбит действия бинариой группы октаэдра на трехмерной сфере. Оно может быть отождествлено спространством куба, получающимся аналогичным образом. Одномерная группа Бетти О. П. Является группой третьего порядка. М. И. Войцеховский. ..

свойство формальных арифметич. Систем, означающее невозможность получения омега-противоречия. Омега-противоречием наз. Такая ситуация, когда для некрой формулы (х).доказуема каждая формула из бесконечной последовательности формул , , . ., , . И формула , где - константа формальной системы, обозначающая число 0 а константы определяются рекурсивно через терм (х)., обозначающий число, непосредственно следующее за х. Понятие О.-н. Появилось в связи с Гёделя теоремой о неполноте арифметики. ..

- свойство формальных арифметич. Систем, состоящее в том, что для всякой формулы (х).из выводимости формул , , . ...,, . Следует выводимость формулы , где - константа, обозначающая натуральное число пили 0. В противном случае система наз. Омега-неполной. К. Гёдель в своей теореме о неполноте формальной арифметики фактически установил ее омега-неполноту. Если в качестве аксиом взять множество всех формул, истинных в стандартной модели арифметики, то получится омега-полная аксиоматич. Система. На..