Консервативное расширение
- Консервативное расширение теории удобно для доказательства теорем, но не доказывает новых теорем о языке исходной теории.
- Неконсервативное расширение может доказать больше теорем, чем исходная теория.
- Теория T2 является консервативным расширением теории T1, если каждая теорема из T1 является теоремой о T2 и любая теорема о T2 на языке T1 уже является теоремой о T1.
- Консервативные расширения непротиворечивых теорий являются последовательными.
- Методология написания и структурирования больших теорий включает создание последовательных консервативных расширений.
- Консервативные расширения используются для определения понятия модуля для онтологий.
- Расширения, которые не являются консервативными, называются правильными расширениями.
- Теоретико-модельное понятие консервативного расширения является более сильным и не так сильно зависит от используемого языка.
Полный текст статьи: