арифметика второго порядка Мат. second-order arithmetic Источник: Полный русско-английский словарь на Gufo.me Предложить изменения арифметика арифметика высказываний