出处:数理化力学卷 • 数 学 • 几何 • 拓扑
词条 | 公理法 |
释义 | 公理法 公理法 整理与叙述数学知识的一种常用的方法。对于数学的许多分科,人们往往把若干最根本的命题作为公理,由此再引入一些较复杂的概念并用演绎的方法推导出这分科中的其他命题。这种方法就称为公理法。公理的提出是有其实际来源或理论依据的。数学中最早的公理系统是欧几里得的几何学的公理,但并不完全。直到近代,希尔伯特提出了欧几里得几何的比较完整的公理系,为它建立了较严密的基础。在数学基础中还常讨论公理系的相容性(即公理系中诸公理的无矛盾性)、独立性和完备性。 出处:数理化力学卷 • 数 学 • 几何 • 拓扑 |
随便看 |
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。