I tried once to strengthen the Godel 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 Godel 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.]
This would defend Anselm and Godel 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.]
