Большой англо-русский и русско-английский словарь
выводимый formally deducible theorem ≈ формально выводимая теорема - deducible formula - deducible rule - deducible rules - deducible sentence - deducible theorem (from) выводимый
Новый большой англо-русский словарь
[dıʹdju:səbl] a (from)
выводимый