Элементарная Арифметика

Тоже, что арифметика формальная.