公理化方法
是总结已有科学知识、构成科学理论体系的有效方法。它是先列出一些初始概念、一些初始符号、一组公理(亦称设理),几条形式规则和基本推理规则并以公理和初始概念为出发点,对所研究范围内的一切概念给以定义,并推导出一系列的定理。由公理方法推出的许多定理所构成的体系称为公理系统。古希腊的欧几里得较早地在《几何原本》中运用公理化方法,建立了数学中第一个公理系统,而亚里士多德的三段论的化归理论是运用公理方法建立了逻辑科学中第一个公理系统。迄今,数学和逻辑学中已出现了几十个举世公认的公理系统。它们的差异只在於作为出发点而提出的初始概念、公理、形成 ...... (共444字) [阅读本文]>>