Теорема Гёделя очень важная, она как раз говорит, что критерий истинности нужен в другом измерении нежели сама формальная система, в математике это невозможно
Мне иногда хочется сделать Церковь Лиспа. Потому что немало людей описывают свое познание Лиспа в выражениях, очень похожих на те, в которых описывают религиозный опыт.