[填空题,5分] 机器定理证明有四个主要方法：(1)自然演绎法；(2)判定法；(3)定理证明器；(4)（）。