Godel has a proof of the existence of God

Godel has a proof of the existence of God that I mentioned on one of my blogs. The idea was You can't use science to prove the existence of God. The only two ways that I am aware of is the one I put on the top on my blog: -------Everything has a cause. So unless there is a first cause, then you would have an infinite regress. And then nothing could exist. Therefore there must be a first cause.-------------------The other way is by a proof called the Ontological proof. That is God has all possible perfections by definition. If he would lack existence he would lack one perfection. Therefore He exists. This was put into rigorous logical form by Godel. I saw this once in Hebrew University and later someone ---------The basic question on the ontological proof was stated by Kant that existence is not a predicate. But we know that "is" is in fact a predicate. But what Kant means to ask is really that logic can not penetrate into unconditioned realities. He is asking a question based on his entire way of thinking--not just a minor observation. And we know that people after Kant have tried to bridge this gap.However I think this goes too far into theology. I do not want to assume characteristics of God. Nor did the Rambam. It was enough for him to borrow from Aristotle's First mover to get to the First Cause and that is enough for me. In fact, I would prefer not to assume any characteristics about God at all. I go in this way like the Book of Job. In that book the friends of Job said God is just and we can not understand his ways. The normal Shabat Table Judaism standard fare. But at the end of that book God comes along and says the friends of Job were wrong. This same point was driven home by Schopenhauer who basing himself on Kant thought that God is the ding an sich--wild, delighting in being unpredictable, with no interest in being considered good. The Will.And the world is just an expression of the Will.eally from Anselm and Godel put it into logical form. It depends on God having all positive traits. I tried to reinforce that idea by means of the Compactness Theorem of Godel. Today I just wanted to add that it seems to me that this Completeness Theorem itself is related to the fact that in differential manifolds we only talk about C^0 or C^Infinity. The reason is that a manifold M that is C^r itself has a C^r diffeomorphism from M to a manifold that is C^infinity.------ A C^r manifold is a manifold that you can take a derivative r times over the complex field. A C^r manifold has a C^r function to a C^infinity manifold. [(Compactness Theorem). A set of formulas Γ is satisfiable if and only if every finite subset of Γ is satisfiable.][From the finite to the infinite. Perhaps 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.] This idea is sound. However I prefer to go with the more direct and simpler approach of Saadia Gaon and the חובות לבבות (Obligations of the Heart) and the Rambam of the First Cause, and the fact that there has to be a First Cause because of the problem of the infinite regress, For me that is the simplest and strongest approach, though I think Anselm's one is also good and complementary. In any case this is related to Kelley Ross in a different way. Here is what he says in his PhD Thesis [Sec III]: "This continues the theory of purposive value by at last addressing the hitherto presupposed polarity of value, although the discussion belong to absolute transcendence because it may be taken to be a general characteristic of positive transcendence (and so characteristic of it as such) and because its meaning seems to be bound up with the meaning of our existence and non-existence." That is to say in plain English he is considering God as "absolute transcendence" and considers Him to be the One who has positive transcendence. I.e. by means of intention. That is all you can say about this from the standpoint of Kelley Ross. But the connection with Godel and the idea positive traits is certainly tantalizing.