АРИФМЕТИЧЕСКИ ДОКАЗУЕМЫЙ Русско-английский перевод АРИФМЕТИЧЕСКИ ДОКАЗУЕМЫЙ мат. arithmetically provable Большой Русско-Английский словарь. New big Russian-English dictionary. 2012