四、形式化方法的作用和限度