Развитие математики в направлении большей точности привело, как хорошо известно, к формализации больших ее частей, так что любую теорему можно доказать, используя только несколько механических правил... Таким образом, можно предположить, что эти аксиомы и правила выводов достаточно, чтобы решить любой математический вопрос, который вообще может быть формально выражен в этих системах. Ниже будет показано, что это не так, что, напротив, в двух упомянутых системах имеются относительно простые задачи теории целых чисел, которые не могут быть решены на основе аксиом.