выводимость deducibility