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