词语公理化方法
拼音gōng lǐ huà fāng fǎ gong li hua fang fa
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
◎公 gōng 〈形〉 (1)(会意。小篆字形，上面是“八”，表示相背，下面是“厶”(“私”的本字)。合起来表示“与私相背”，即“公正无私”的意思。本义：公正，无私) (2)同本义 [just] 公，...
理:◎理 lǐ 〈动〉 (1)(形声。从玉，里声。本义：加工雕琢玉石) (2)同本义 [carve and polish] 理，治玉也。顺玉之文而剖析之。——《说文》 理者，成物之文也。长短大小、方圆坚脆...
化:◎化 huà 〈动〉 (1)(古字为“匕”。会意。甲骨文，从二人，象二人相倒背之形，一正一反，以示变化。本义：变化，改变) (2)同本义 [turn；change] 匕，变也。——《说文》。徐灏曰：“...
方:◎方 fāng 〈动〉 (1)(象形。下从舟省，而上有竝头之象。故知并船为本义。本义：并行的两船；泛指并列；并行) (2)同本义 [parallel boats；parallel] 方，併船也。象两舟...
法:◎法 灋 fǎ 〈名〉 (1)(会意。从“水”，表示法律、法度公平如水；从“廌”(zhì)，即解廌，神话传说中的一种神兽，据说，它能辨别曲直，在审理案件时，它能用角去触理曲的人。基本义：刑法；法律；法...