Ну вот какие комментарии нужны к этому тексту - популярной, но корректной формулировке первой теоремы Гёделя - если формальная система арифметики непротиворечива, то в ней найдётся формально неразрешимое предложение, т.е. такая замкнутая формула А, то ни А ни не-А не являются теоремами этой системы..
Теорема - это когда утверждение признаётся истинным в результате процедуры доказательства .
Дан популярный пример из теории множеств, который в принципе сформулирован ещё в средневековье, а может и раньше - может ли всемогущий бог сделать так, чтобы он чего-либо не смог. Или - в городке живёт брадобрей, он бреет всех, кто не бреется сам. Бреет ли он сам себя?
У Бертрана Рассела есть интересное высказывание - математика, это такая область деятельности, где мы не знаем, о чём говорим.
Поэтому математику прокомментировать невозможно. Ну, а на уровне ассоциаций - это уж кому что нравится. Главное не увлекаться. И "наоборот " - тоже. Математические модели бога и т.п. - забавно, и ничего более.