http://practicalphilosophy.in/2010/08/14/godels-god-2/