问答题
什么是形式化方法？
形式化方法是基于严密的、数学上的形式机制的开发方法。它包括形式规格，以及支持规格语言的语法检查和规格属性证明的方法和工具......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 简述古代学者惟一的一次公理化方法尝试。
问答题 平面几何的公理化概括（欧氏几何）。
问答题 分别对正整数、平面几何（欧氏几何）进行公理化概括。
