Существительное
Слово происходит от теорема
Математик - это машина, перерабатывающая кофе в теоремы. Пал Эрдёш
CAP в наименовании теоремы сформирован из первых букв английских наименований этих трёх свойств. Источник: Интернет
Более того можно показать, что из утверждения теоремы о супремуме непосредственно вытекает утверждение теоремы об инфимуме, и наоборот (см. ниже). Источник: Интернет
Взаимосвязь между полуцелым/целым спином и типом частиц фермион/бозон демонстрируется в очень общей гипотезе в рамках релятивистской квантовой теории поля под названием спин-статистической теоремы. Источник: Интернет
Амицур и Левицкий дали первое доказательство теоремы в 1950 году. Источник: Интернет
В 1946—1950 годах методом направляющих функционалов получил общие теоремы о разложении по собственным функциям самосопряжённых обыкновенных дифференциальных операторов. Источник: Интернет