Ernest Nagel, James R. Newman, Kurt Gödel & Jean-Yves Girard: Le théoreme de Gödel