In set theory there are many levels of infinity. There is for example infinitely more real numbers then there are integers.
A lot of people think of infinity as one number, but this is not true, there is levels of infinity.
The one who produced set theory was attacked by theologians for polytheistic implications, but he argued, instead that God is an absolute infinity, highest number.
If we think of the highest number in terms of existence amount, it's such that it has to include all existence in it and possible existence in it.
This being if we can recall this size, would prove he exists. You can apply pigeon hole principle, you have infinite amount of universes, yet it's size out larges all of them, and hence, they cannot be without him.
That his existence contains all, shows, existence all comes from him and is dependent on him and is found in him solidified in a unity of absolute bigness.
Look up pigeon hole principle, God's vastness is such that no possible world escapes him including ours. This proves he exists.
All other type of existence by definition are possible beings, and possibly not existing, and so the predicate thing shows yes you can't just say a book is red, and it really exists, but that's all it applies to, only to possible things that can exist but don't have to.
If God is so big that his existence cannot but exist, then the predicate stuff is a red herring. Yes, if God existed in imagination, predicate stuff would work, but if his vastness and size proves he exists not in imagination but is witnessed through eyes of the soul by all beings, then it doesn't hold ground to refute this proof of his existence.
It's awe inspiring, causes you to shiver almost, but mathematically God has to exist and proves he does by virtue of being the necessary being.
And yes it's another one of those ontological argument threads by Link, seems this guy loves this argument too much.