Полная теория

В математической логике теория считается завершенной, если она непротиворечива и доказуема для каждой замкнутой формулы.
Рекурсивно аксиоматизируемые теории первого порядка не могут быть полными, как показывает первая теорема Геделя о неполноте.
Полные теории завершаются при выполнении ряда условий, внутренне моделирующих T-схему.
Максимальные непротиворечивые множества являются фундаментальным инструментом в теории моделей классической логики и модальной логики.
В случае модальной логики набору максимальных непротиворечивых множеств может быть задана структура модели T, называемая канонической моделью.

Полный текст статьи:

Полная теория — Википедия