formal arithmetic

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

Источник: Полный англо-русский словарь на Gufo.me