существенная неразрешимость
1СУЩЕСТВЕННО НЕРАЗРЕШИМАЯ ТЕОРИЯ — алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. н. т. тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию …
2Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая …