神は存在する。
なぜなら数学が無矛盾だから。
そして悪魔も存在する。
なぜならそれを証明することはできないから