Для начала, мне нужна непротиворечивая система аксиом описывающая бога. Но попытка получить, например, всемогущество приводит к противоречию => бога нет.