Выводимость

См. Вывод логический, Исчисление.