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