Gödelův důkaz - Nagel Ernest, Newman Roy James