Формальная выводимость

Перевод формальная выводимость на английский язык

Формальная выводимость формулы была проверена.

The formal derivability of the formula was verified.