组词
共收录 4 个词语
- gōng lǐ huà fāng fǎ [ gōng lǐ huà fāng fǎ ] 从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
- pí yà nuò gōng lǐ[ pí yà nuò gōng lǐ ] 刻画自然数特征的一组公理。由意大利数学家皮亚诺于1899年提出。包括以下五条(1)1是自然数；(2)任一自然数都有唯一自然数为其后继数；(3)没有两个相异自然数有同一后继数；(4)1不是任何自然数…
- zǔ shì gōng lǐ[ zǔ shì gōng lǐ ] 中国古代用以计算体积的一条重要公理。由祖冲之、祖b133８缸犹岢觥＜疵菔萍韧，则积不容异”(形状不同的物体，若其等高处截面积都相等，则它们的体积不能不相等)。西方直至一千多年后才由意大利数学家卡瓦列里提…
- gōng lǐ[ gōng lǐ ] 经过人类长期反复实践的检验，不需要再加证明的命题，如：如果A=B，B=C，则A=C；社会上多数人公认的正确道理。