公理化方法

是总结已有科学知识、构成科学理论体系的有效方法。它是先列出一些初始概念、一些初始符号、一组公理(亦称设理),几条形式规则和基本推理规则并以公理和初始概念为出发点,对所研究范围内的一切概念给以定义,并推导出一系列 ......    （本文共 423 字 ）     [阅读本文] >>