Abstract
<jats:p>В статье дается принципиально новое конструктивное доказательство теорем Тарского о невыразимости истины и Гёделя о неполноте, основанное на невыразимости экзистенциального содержания внутри формализма (<<дефицит остенсии>>), без которого сам формализм теряет смысл. Показано, почему классическая теорема Гёделя возникает по той же причине.</jats:p>
Show More
Keywords
невыразимости
Гёделя
статье
дается
принципиально