deducibility

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