Therefore, God necessarily exists.

Q.E.D.
Another proof .-- The potentiality of non--existence is a negation of power, and contrariwise the potentiality of existence is a power, as is obvious.

If, then, that which necessarily exists is nothing but finite beings, such finite beings are more powerful than a being absolutely infinite, which is obviously absurd; therefore, either nothing exists, or else a being absolutely infinite necessarily exists also.

Now we exist either in ourselves, or in something else which necessarily exists (see Axiom.i.and Prop.

vii.).