Формула в теории, для которой существует механизм вывода в рамках этой теории, называется

Вероятно, речь идет о логике или математике. В логике формулы, которые могут быть доказаны в рамках определенной системы аксиом и правил вывода, называются выводимыми.