Важливим досягненням цього методу став той факт, що з його допомогою була виявлена особлива роль арифметики як такої математичної теорії, до питання про несуперечності якої зводиться аналогічне питання для цілого ряду інших теорій.