[antonvs]

You could just as easily adjust the axioms to require that both a god and devil must exist in perfect balance.

In any case, your argument is an informal one - turn it into a formal refutation of Goedel's modal logic proof, and it'd be more relevant to this post.

[nurettin]

He doesn't have to. He can use the same argument to prove that a formal logical proof exists.