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