10 полнота исчисления предикатов (полнота штопора)

Теорема Гёделя о полноте классического вывода - в форме существования модели - в форме полноты “штопора“ (из семантического следования вытекает синтаксическое) Равносильность выполнимости (совместности) и непротиворечивости Синтаксическая полнота теории (отсутствие независимых формул)