"Gödel's ontological proof" proves existence of God

[CapnAwesome]

This is not my forte, but what it says to me is that in the past very smart people believed in God and yet found the idea of God to be not self-evident and not logical. That's why they have come up with some very complicated justifications for their own cultural engrained beliefs. That's why you've seen a huge decline in these types of complicated justifications post-Darwin, because it become okay and even the more intellectually acceptable position to simply be an Atheist or Agnostic. In other words, why did Einstein not make a mathematical proof for the existence of God but Godel did? It's because in Einstein's era it was fine for him to be an open Agnostic where in Godel's era it was not.