词语 | 皮亚诺公理 |
相似词 | 皮亚诺公理 皮亚诺公理是意大利皮亚诺所构造的算术公理系统中的公理。1889年,在数学家戴德金工作的基础上,皮亚诺在《用一种新方法陈述的算术原理》一书中提出了一个算术公理系统,这个公理系统有九条公理,其中四条是关于“相等”的,五条是刻画数的,并且以l而不是0作为基本概念。在后来的著作中,皮亚诺对这一算术系统作了修改,去除了关于“相等”的四条公理,并且以0取代1作为基本概念,构造了沿用至今的皮亚诺算术公理系统。[1] 皮亚诺公理的相似词 一阶谓词逻辑 皮亚诺算术 数学公理 命题演算 一阶逻辑 公理系统 命题的证明 线性方程组解 实数系 公理集合论 公理体系 一般递归函数 柯西定理 排列数公式 谓词逻辑 代数数域 唯一性定理 方差计算公式 gamma函数 演绎规则 无限级数 同余方程 zf公理系统 数学归纳 伯努利大数定律 可计算函数 迭代公式 归纳公理 数的性质 一次不定方程 相关查询 皮亚诺 皮亚蒂本 皮亚蒂戈斯基 皮亚蒂戈尔斯基 皮亚蒂 皮亚诺曲线 皮亚诺算术 皮亚韦 皮亚韦河 皮亚齐 |
随便看 |
汉语同义词近义词反义词词典收录了471290条汉字相似词词条,基本涵盖了全部常用汉字的同义词、近义词、反义词及词语用法辨析,是语文学习的必备工具。