Goedelov dokaz - Nagel, Ernest (Array, 2001)