Теория
Формальная — то же, что формальная система. См. также Аксиоматический метод. К- — раздел алгебраической топологии, изучающий свойства векторных расслоений алгебраич. и топологич. методами. В отличие от алгебраической К-теории, иногда наз. топологической К-теорией. В расширенном смысли термин лК-теория