« L'incomplétude mathématique/Le théorème fondamental de l’indécidabilité et le problème de Turing » : différence entre les versions