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

Мат. formal deducibility, formal derivability