词条 | 公理 |
类别 | 中文百科知识 |
释义 | 公理gongli不予证明就直接承认其正确性的命题.证明定理都要有根据,每一个新定理都应以前边推证过的定理来推证.若追根求源,这就必须用一些经过实践证明是真实的,不需要加以证明的基本命题作为推证其他定理的依据,这些命题就叫做公理.例如,“两点确定一条直线”就是一条公理. 公理公理系统中不加证明就予断定的公式或命题。1.古典涵义强调公理的直观真理性。2.现代涵义不强调直观真理性,只要求公理集必须满足一致性,最好能满足完全性和独立性。 |
随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。