Terms for subject Mathematics containing derivability

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