Перевод "Derivability" на русский

formal derivability — формальная выводимость  
immediate derivability — непосредственная выводимость  
logical derivability — логическая выводимость  
regular derivability — регулярная выводимость