Le Théorème de Gödel — James R. Newman, Kurt Gödel, Ernest Nagel