The SDT and LBT approaches try to formalize an alternative conditions that can be proved.
В SDT и LBT подходах сделаны попытки формализовать альтернативные условия, которые могут быть использованы для доказательств.