中的搜索结果
公理依据人类理性和愿望发展起来而共同遵从的道理。例世界有强权没有公理啊！英axiom;经过人类长期反复实践的考验不需要再加证明的命题(如数字中的)英self-evident truth; generally acknowledged truth;
外延公理在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理。
皮亚诺公理刻画自然数特征的一组公理。由意大利数学家皮亚诺于1899年提出。包括以下五条：（1）1是自然数；（2）任一自然数都有唯一自然数为其后继数；（3）没有两个相异自然数有同一后继数；（4）1不是任何自然数的后继数；（5）如果1有性质p且任何具有性质p的自然数其后继数
