Godel's Modal Proof of God. Until Jim Mutch can explain it to me, I'll stick with St. Anselm's argument

http://io9.com/5805775/proof-of-the-existence-of-god-set-down-on-paper