Proving the Existence of God: A Logical Approach