El teorema de Gödel - Nagel, Ernest (CONACYT, 1981)