Gödelův důkaz - Nagel, Ernest, 1901-1985 (Vutium, 2006)