皮亚诺公理
pí yà nuò ɡōnɡ lǐ解释
刻画自然数特征的一组公理。由意大利数学家皮亚诺于1899年提出。包括以下五条(1)1是自然数；(2)任一自然数都有唯一自然数为其后继数；(3)没有两个相异自然数有同一后继数；(4)1不是任何自然数的后继数；(5)如果1有性质p，且任何具有性质p的自然数其后继数也具有性质p，则一切自然数都有性质p。上述(5)就是数学归纳法原理。所有自然数的性质，都可由皮亚诺公理导出。
逐字解释
皮〈动〉 (会意。金文字形上面是个口,表示兽的头;一竖表示身体;右边半圆表示已被揭起的皮;右下表手。皮”是汉字部首之一。本义用手剥兽皮) 同本义 皮,剥取兽革者谓之皮。--《说文》 皮,剥也。--《广雅》 皮面抉眼。--《战国策·韩策》 皮瓠以为蓄。--《释名》 又如皮面 酥脆的…
亚 (象形。小篆作亞”。许慎认为像人驼背形。甲骨文一说像花边形。本义丑) 同本义 夫地有山有泽,有黑有白,有美有亚。--马王堆汉墓帛书《十六经》 亚,丑也。--《说文》。段玉裁注此亚之本义。亚与恶音义皆同…衣驾切。” 次;次于。表示时间或空间的先后 言天下之至赜而不可亚也。--《…
诺 (形声。从言,若声。本义表示) 同本义(一般用于上对下、尊对卑或平辈之间,卑对尊用谨诺” 诺,应也。--《说文》。按,应词也。缓应曰诺,疾应曰唯。 莫敢不诺。--《诗·鲁颂·閟宫》 太后曰诺。恣君之所使之。”--《战国策·赵策四》 孟尝君不说,曰诺,先生休矣。--《战国策·齐…
公〈形〉 (会意。小篆字形,上面是八”,表示相背,下面是厶”(私”的本字)∠起来表示与私相背”,即公正无私”的意思。本义公正,无私) 同本义 公,平分也。--《说文》 背厶谓之公,或说,分其厶以与人为公。--《韩非子·五蠹》 公之为言公正无私也。--《春秋·元命苞》 兼覆无私谓之…
理〈动〉 (形声。从玉,里声。本义加工雕琢玉石) 同本义 理,治玉也。顺玉之文而剖析之。--《说文》 理者,成物之文也。长短大小、方圆坚脆、轻重白黑之谓理。--《韩非子·解老》 王乃使玉人理其璞而得宝焉,遂命曰和氏之璧。”--《韩非子·和氏》 郑人谓玉未理者璞。--《战国策·秦策…