出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 公理系统 |
| 释义 | 公理系统 公理系统 从一些初始概念、公理出发,根据一定的推理规则而推演出一系列定理所构成的演绎体系。是应用公理化方法的结果。公元前3世纪欧几里得(Euclid,约前330—前275)的《几何原本》就建立了一个公理系统。对一个公理系统的基本要求是无矛盾性。采用表意的人工符号语言的完全形式化的公理系统称为形式系统。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 公理系统 从一些初始概念和公理出发,根据演绎法,推演出一系列定理,从而构成的系统。最早的公理系统是由古希腊数学家欧几里得在《几何原本》中建立的。在19世纪末,德国数学家希尔伯特在《几何基础》中建构了欧氏几何学的现代公理系统。公理集合论的ZF系统、数理逻辑中的命题演算和谓词演算系统等都是现代公理系统的实例。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。