Godel proof of God

I tried once to strengthen the Gödel proof of God by the Compactness Theorem, the finite to the infinite. The simplest use of the Compactness Theorem is to show that if there exist arbitrarily large finite objects of some type, then there must also be an infinite object of this type.] The idea if applied to God means that he has infinite perfections. This would defend Anselm and Gödel from critics. Also, I recall I used an idea from Anscombe about compatibility of positive traits --that is some possible world all positive traits are compatible. [I do not recall the source where I had seen that.]