「神が存在する」と数学的に論理展開できるか?