Как вы относитесь к доказательству несуществования Бога через теорему Гёделя о неполноте?

и как выглядело бы по-вашему такое доказательство? Вторая теорема Гёделя: "непротиворечивость формальной арифметики не может быть доказана средствами этой теории. Однако, могут существовать доказательства непротиворечивости формальной арифметики, использующие средства, невыразимые в ней". Как раз наоборот - доказательство возможного существования невыразимых арифметикой средств или Бога. . Кстати неразрешимая формула А является аналогом "парадокса лжеца", а ведь именно о нем говорит Апостол Павел в Тит. 1:12-13: Κρήτες ἀεί ψεύσται… и т. д. — "Из них же самих один стихотворец сказал: „Критяне всегда лжецы, злые звери, утробы ленивые“. Свидетельство это справедливо… ".