Полнота

Полнота представляет собой свойство формальной системы, при котором любая истинная формула в рамках данной системы может быть выведена из её аксиом. В математической логике это понятие раскрывается через построение дедуктивных систем исчисления высказываний и предикатов, а также исследование их выразительных и доказывающих возможностей. Данное свойство устойчиво связывается с понятиями непротиворечивости, разрешимости и корректности логических исчислений. Произведения объединяет рассмотрение формальных принципов дедуктивного вывода и установление соотношений между синтаксическими средствами теории и её семантической интерпретацией.