арифметика, формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод ) . Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, , ' (прибавление 1) и логические связки (см. Логические операции ) . Постулатами Ф. а. являются аксиомы и правила вывода исчисления