Ontological Proof T-Shirt

Gödel's ontological proof is a formalization of Saint Anselm's ontological argument for God's existence by the mathematician Kurt Gödel. St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that than which a greater cannot be thought. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz; this is the version that Gödel studied and attempted to clarify with his ontological argument. not everyone agrees with this proof, but then, not everyone can read and comprehend it fully... kinda' like God himself perhaps. or maybe i'm being silly. what do you think?