Το θεώρημα του Godel - Nagel, Ernest 1901-1985 (Τροχαλία, 1997)