Cтраница 4
Поэтому результат, что каждая доказуемая формула исчисления предикатов общезначима для любой непустой предметной области, не принадлежит метаматематике. Он относится скорее к тому, что можно назвать теоретико-множественной логикой предикатов ( Гильберт - Бернайс [ 1934, стр. [46]
Теперь мы перейдем к рассмотрению еще одного метода теории доказательств, разработанного Куртом Геделем3), а именно метода арифметизации метаматематики. [47]
В отличие от свойства простой непротиворечивости, рассмотренного в предыдущем параграфа, понятия непротиворечивости и полноты относительно некоторого свойства или интерпретации не всегда принадлежат метаматематике. [48]