Доказательство полноты логических теорем

[Sergey_Zzz]

Приветствую всех посетителей форума!
Объясните мне, какие способы есть для доказательства полноты логики с пропозициональным, предикатным, классическим или неклассическим исчислением?

[Профессор Снэйп]

http://en.wikipedia.org/wiki/G%C3%B6del ... ss_theorem

[Sergey_Zzz]

то есть, доказать полноту можно только Геделевским способом?

[Профессор Снэйп]

Sergey_Zzz в сообщении #260565 писал(а):

то есть, доказать полноту можно только Геделевским способом?

Вы для начала хоть прочитайте, что ли, что там по ссылке написано

Цитата:

In modern logic texts, Gödel's completeness theorem is usually proved with Henkin's proof, rather than with Gödel's original proof.