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