Soit une axiomatisation quelconque de l'arithmétique, on peut construire une équation diophantienne qui n'a aucune solution, mais telle que ce fait ne puisse pas être démontré dans l'axiomatisation en question.