批判检验是形成（）的根本方法。