Godelův důkaz : Z angl.orig - Nagel, Ernest; Newman, James R. (VUTIUM, 2003)