El teorema de Gödel - Nagel, Ernest (Estructura y Función, 1970)