Математическая энциклопедия - синтаксическая теорема

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985