公理化方法
ɡōnɡ lǐ huà fānɡ fǎ解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
逐字解释
公〈形〉 (会意。小篆字形,上面是八”,表示相背,下面是厶”(私”的本字)∠起来表示与私相背”,即公正无私”的意思。本义公正,无私) 同本义 公,平分也。--《说文》 背厶谓之公,或说,分其厶以与人为公。--《韩非子·五蠹》 公之为言公正无私也。--《春秋·元命苞》 兼覆无私谓之…
理〈动〉 (形声。从玉,里声。本义加工雕琢玉石) 同本义 理,治玉也。顺玉之文而剖析之。--《说文》 理者,成物之文也。长短大小、方圆坚脆、轻重白黑之谓理。--《韩非子·解老》 王乃使玉人理其璞而得宝焉,遂命曰和氏之璧。”--《韩非子·和氏》 郑人谓玉未理者璞。--《战国策·秦策…
化〈动〉 (古字为匕”。会意。甲骨文,从二人,象二人相倒背之形,一正一反,以示变化。本义变化,改变) 同本义 匕,变也。--《说文》。徐灏曰匕化古今字。” 知变化之道。--《易·系辞传》。虞注在阳称变,在阴称化,四时变化。”荀注春夏为变,秋冬为化,坤化为物。” 和故百物化焉。--…
方〈动〉 (象形。下从舟省,而上有竝头之象。故知并船为本义。本义并行的两船;泛指并列;并行) 同本义 方,併船也。象两舟总头形。--《说文》 大夫方舟。--《尔雅》。李注竝两船曰方舟。” 方舟而济于河。--《庄子·山木》 不足方。--《仪礼·乡射礼》。注犹併也。” 方舟设泭。--…
法 (会意。从水”,表示法律、法度公平如水;从廳”,即解廳,神话传说中的一种神兽,据说,它能辨别曲直,在审理案件时,它能用角去触理曲的人。基本义刑法;法律;法度) 同基本义 灋,刑也。平之如水。从水,廳所以触不直者去之,从去,会意。--《说文》 利用刑人,以正法也。--《易·蒙》…