Goedelov dokaz - Nagel, Ernest (Biblioteka Miscellanea, 2001)