ФОРМАЛЬНАЯ АРИФМЕТИКА формулировка арифметики в виде формальной (аксиоматической