Сейчас мы построим некоторую теорию первого порядка S, основанную на системе аксиом Пеано, которая окажется, по всей видимости, достаточной для вывода всех основных результатов элементарной арифметики.