recursively axiomatized Мат. рекурсивно аксиоматизированный Источник: Полный англо-русский словарь на Gufo.me Предложить изменения recursively recursively calculable
