| 字词 | 公理系统 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | 公理系统 指从一些初始概念和公理出发，根据演绎法推演出一系列定理从而构成的系统。公理系统要满足某些一般要求，包括系统的一致性(无矛盾性)、完全性和范畴性，以及公理的独立性。公理系统一般可区分为古典公理系统和现代公理系统。如古希腊数学家欧几里得(Euclid)在《几何原理》一书中建立的几何公理系统是古典公理系统，德国数学家、逻辑学家希尔伯特于1899年在《几何基础》一书中推出的是现代公理系统。现代公理系统也称形式公理系统。参见“公理化方法”。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。