go top

Peano axioms

  • 皮亚诺公理

网络释义英英释义

  皮亚诺公理

哥德尔不完备定理证明了,包含皮亚诺公理(Peano axioms)的所有公理系统都是不可能既完备又相容的。下面还有一些逻辑中关于完备性的定义。

基于2552个网页-相关网页

  皮亚诺公设

对于自然数我们最常用的公设系统就是皮亚诺公设 (Peano Axioms),这些公设中最复杂而且困难的,(不仅对一般的高中,大学生如此,对逻辑学家亦如此),就是大名鼎鼎的「数学归纳法。

基于10个网页-相关网页

  皮亚诺

... 皮亚诺(Peano Axioms)自然数公理:

基于1个网页-相关网页

  形式算术

... 隐式算法 implicit algorithm 形式算术 peano axioms 积形式解 product form solution ...

基于1个网页-相关网页

Peano axioms

  • abstract: In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of consistency and completeness of number theory.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定