谬论:荒谬的言论:驳斥谬论。谬论
强权:1.凭借优势地位欺压别人或别国的权势。强权
公有公理,婆有婆理:公:称丈夫的父亲。比喻双方争执,各说自己有理。
不等量公理:词典解释:包括以下公理:(1)全量大于它的任一部分;(2)不等量加上(减去)等量,其和(差)不等,原来大的仍大;(3)等量减去不等量,其差不等,减去大的,差反而小;(4)不等量加不等量,大量的和大于小量的和;(5)甲量大于乙量,乙量大于丙量,则甲量大于丙量;(6)在不等式中,一个量可用它的等量来代替(等量代换)。
公理:①经过人类长期反复实践的考验,不需要再加证明的命题,如:如果a=b,b=c,则a=c。②社会上多数人公认的正确道理。(1) [axiom]∶依据人类理性和愿望发展起来而共同遵从的道理世界有强权,没有公理啊!(2) [self-evident truth;generally acknowledged truth]∶经过人类长期反复实践的考验,不需要再加证明的命题(如数字中的)
祖氏公理:中国古代用以计算体积的一条重要公理。由祖冲之、祖暅父子提出。即“幂势既同,则积不容异”(形状不同的物体,若其等高处截面积都相等,则它们的体积不能不相等)。西方直至一千多年后才由意大利数学家卡瓦列里提出。
公理化方法:从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
皮亚诺公理:刻画自然数特征的一组公理。由意大利数学家皮亚诺于1899年提出。包括以下五条:(1)1是自然数;(2)任一自然数都有唯一自然数为其后继数;(3)没有两个相异自然数有同一后继数;(4)1不是任何自然数的后继数;(5)如果1有性质p,且任何具有性质p的自然数其后继数也具有性质p,则一切自然数都有性质p。上述(5)就是数学归纳法原理。所有自然数的性质,都可由皮亚诺公理导出。
祖氏公理:中国古代用以计算体积的一条重要公理。由祖冲之、祖暅父子提出。即“幂势既同,则积不容异”(形状不同的物体,若其等高处截面积都相等,则它们的体积不能不相等)。西方直至一千多年后才由意大利数学家卡瓦列里提出。
皮亚诺公理:刻画自然数特征的一组公理。由意大利数学家皮亚诺于1899年提出。包括以下五条:(1)1是自然数;(2)任一自然数都有唯一自然数为其后继数;(3)没有两个相异自然数有同一后继数;(4)1不是任何自然数的后继数;(5)如果1有性质p,且任何具有性质p的自然数其后继数也具有性质p,则一切自然数都有性质p。上述(5)就是数学归纳法原理。所有自然数的性质,都可由皮亚诺公理导出。
不等量公理:词典解释:包括以下公理:(1)全量大于它的任一部分;(2)不等量加上(减去)等量,其和(差)不等,原来大的仍大;(3)等量减去不等量,其差不等,减去大的,差反而小;(4)不等量加不等量,大量的和大于小量的和;(5)甲量大于乙量,乙量大于丙量,则甲量大于丙量;(6)在不等式中,一个量可用它的等量来代替(等量代换)。
公有公理,婆有婆理:公:称丈夫的父亲。比喻双方争执,各说自己有理。
公理:①经过人类长期反复实践的考验,不需要再加证明的命题,如:如果a=b,b=c,则a=c。②社会上多数人公认的正确道理。(1) [axiom]∶依据人类理性和愿望发展起来而共同遵从的道理世界有强权,没有公理啊!(2) [self-evident truth;generally acknowledged truth]∶经过人类长期反复实践的考验,不需要再加证明的命题(如数字中的)
公理化方法:从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。