在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

Peano axioms

查词链接:https://www.dute.org/dict/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.

网络释义
皮亚诺公理
哥德尔不完备定理证明了,包含皮亚诺公理(Peano axioms)的所有公理系统都是不可能既完备又相容的。下面还有一些逻辑中关于完备性的定义。
皮亚诺公设
对于自然数我们最常用的公设系统就是皮亚诺公设 (Peano Axioms),这些公设中最复杂而且困难的,(不仅对一般的高中,大学生如此,对逻辑学家亦如此),就是大名鼎鼎的「数学归纳法。
皮亚诺
... 皮亚诺(Peano Axioms)自然数公理:
形式算术
... 隐式算法 implicit algorithm 形式算术 peano axioms 积形式解 product form solution ...
* 以上查询结果来自于网络,仅供参考。
正在查询...