ВЫЧИСЛИТЕЛЬНАЯ АКСИОМАТИЗИРУЕМОСТЬ Русско-английский перевод ВЫЧИСЛИТЕЛЬНАЯ АКСИОМАТИЗИРУЕМОСТЬ мат. calculable axiomatizability Большой Русско-Английский словарь. New big Russian-English dictionary. 2012