НЕВЫВОДИМАЯ ФОРМУЛА Русско-английский перевод НЕВЫВОДИМАЯ ФОРМУЛА мат. disprovable formula, underivable formula Большой Русско-Английский словарь. New big Russian-English dictionary. 2012