Можно ли после прочтения трехтомника "Лекции по математической логике и теории алгоритмов" Верещагина и Шеня полностью понять доказательства теорем Гёделя о неполноте, которые были в его статье "On formally undecidable propositions of Principia Mathematica and related systems I"? При условии, что сейчас, до прочтения этих лекций, я не разбираюсь в математической логике. И какой вообще порог входа у данного трехтомника?