Goedelov dokaz - Nagel, Ernest (Kruzak, 2001)