Реконструкция доказательства первой теоремы К. Геделя о неполноте

Main Article Content

Виталий Филипповский

Аннотация


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


Article Details

Выпуск
Раздел
Статьи