Cтраница 4
Эта теория алгебраических полей по существу является аксиоматической теорией. [46]
Более принципиален подход к ней в так называемой аксиоматической теории. Физическую сущность этого направления можно сформулировать следующим образом: обобщение лежащего в основе квантовой теории принципа неопределенности, гласящего, что невозможны состояния частицы, при которых и координаты и скорости ее имеют точно фиксированные значения. Обобщение это заключается в том, что и четыре координаты частицы не могут одновременно иметь точно фиксированные значения; точно определенной может быть лишь одна из них. [47]
В силу теоремы 33 § 61, примером такой аксиоматической теории служит формальная система Робинсона, описанная в лемме 18Ь § 49, если эта система просто непротиворечива. [48]
Аналитичность в указанной области может быть доказана [173] из аксиоматической теории поля в предположении, что минимальная масса в теории отлична от нуля. [49]
Система Лукасевича удовлетворяет следующим требованиям, обычно предъявляемым к любой аксиоматической теории. [50]