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