Синтаксическая Теорема

Теорема синтаксического языка, т. е. теорема о формализованной теории. Примеры С. т.: теорема дедукции для исчисления предикатов, теорема Гёделя о неполноте арифметики. Эти теоремы относятся к элементарному синтаксису. Примером неэлементарной С. т., то есть теоремы, доказательство к-рой существенно использует бесконечные совокупности, может служить теорема о непротиворечивости элементарной арифметики. В. Н. Гришин.