формальная - то же, что формальная система. См. также Аксиоматический метод.
К-ТЕОРИЯ - раздел алгебраической топологии, изучающий свойства векторных расслоений алгебраич. и топологич. методами. В отличие от алгебраической К-теории, иногда наз. топологической К-теорией. В расширенном смысли термин лК-теория
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.