А. В. Бессонов Дается ответ на статью А. М. Измайловой (Измайлова А. М. О критике теоремы К. Гёделя о неполноте А.В. Бессоновым // Студенческий научный журнал «Грани науки». 2018. Т. 6. № 1. С. 7-9), якобы указывающей на «серьезную ошибку» в моем анализе второй теоремы К. Гёделя о неполноте. Показано, что ее критика основана на грубых логических ошибках, а также на неверном понимании как второй теоремы о неполноте, так и моих результатов. В основе подобной распространенной ошибочной интерпретации лежит недопустимое смешение доказательства непротиворечивости формальной арифметики с доказательством в ней формулы, выражающей ее непротиворечивость. Аргументировано, что вторая теорема Гёделя не имеет прямой связи с доказательством непротиворечивости формальной арифметики. Доказывается, что эта теорема не может использоваться в аргументации против реализуемости выдвинутой Д. Гильбертом программы финитного обоснования математики.
Научная статья 
выражающая непротиворечивость