下列表述：
①综合法是执因导果法；
②综合法是顺推法；
③分析法是执果索因法；
④分析法是间接证法；
⑤反证法是逆推法．
正确的语句有是     （填序号）．