Все непротиворечивые аксиоматические формулировки теории чисел содержат неразрешимые суждения.