Расширение за счет новых имен констант и функций.
В математической логике можно теорию расширить с помощьюновые константы или имена функций при определенных условиях с уверенностью, что расширение внесетникакого противоречия. Расширение посредством определений, пожалуй, самый известный подход, но он требуетуникальное существование объекта с искомым свойством. Также можно добавить новые имена.безопасно без уникальности.
Предположим, что замкнутая формула
является теоремой теории первого порядка . Позволять быть теорией, полученной из расширяя свой язык новыми константами
и добавляем новую аксиому
- .
Затем представляет собой продолжение консервативное , а это означает, что теория имеет тот же набор теорем на исходном языке (т.е. без констант ) как теория .
Такую теорию также можно консервативно расширить, введя новый функциональный символ : [1]
Предположим, что замкнутая формула является теоремой теории первого порядка , где мы обозначим . Позволять быть теорией, полученной из расширив свой язык новым функциональным символом (арности ) и добавив новую аксиому . Затем представляет собой продолжение консервативное , то есть теории и докажите те же теоремы, не используя функциональный символ ).
Шенфилд формулирует теорему в форме для нового имени функции, а константы такие же, как и у функцийнулевых аргументов. В формальных системах, допускающих упорядоченные кортежи, расширение за счет нескольких констант, как показано здесь. может быть достигнуто путем добавления нового кортежа констант и новых имен констант. имеющие значения элементов кортежа.
См. также [ править ]
Ссылки [ править ]
- ^ Шонфилд, Джозеф (1967). Математическая логика . Аддисон-Уэсли. стр. 55–56.