Полный англо-русский словарь
Выводимый formally deducible theorem — формально выводимая теорема — deducible formula — deducible rule — deducible rules — deducible sentence — deducible theorem (from) выводимый