2020-07-13

所谓的形式化方法，就是数学化的方法，或者数学方法，或称正式方法，或者标准方法等。