公理化方法

ɡōnɡ lǐ huà fānɡ fǎ

解释

从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。

逐字解释

公ɡōnɡ部首 八

公〈形〉 (会意。小篆字形,上面是八”,表示相背,下面是厶”(私”的本字)∠起来表示与私相背”,即公正无私”的意思。本义公正,无私) 同本义 公,平分也。--《说文》 背厶谓之公,或说,分其厶以与人为公。--《韩非子·五蠹》 公之为言公正无私也。--《春秋·元命苞》 兼覆无私谓之…

理lǐ部首 王

理〈动〉 (形声。从玉,里声。本义加工雕琢玉石) 同本义 理,治玉也。顺玉之文而剖析之。--《说文》 理者,成物之文也。长短大小、方圆坚脆、轻重白黑之谓理。--《韩非子·解老》 王乃使玉人理其璞而得宝焉,遂命曰和氏之璧。”--《韩非子·和氏》 郑人谓玉未理者璞。--《战国策·秦策…

化huà部首 匕

化〈动〉 (古字为匕”。会意。甲骨文,从二人,象二人相倒背之形,一正一反,以示变化。本义变化,改变) 同本义 匕,变也。--《说文》。徐灏曰匕化古今字。” 知变化之道。--《易·系辞传》。虞注在阳称变,在阴称化,四时变化。”荀注春夏为变,秋冬为化,坤化为物。” 和故百物化焉。--…

方fānɡ部首 方

方〈动〉 (象形。下从舟省,而上有竝头之象。故知并船为本义。本义并行的两船;泛指并列;并行) 同本义 方,併船也。象两舟总头形。--《说文》 大夫方舟。--《尔雅》。李注竝两船曰方舟。” 方舟而济于河。--《庄子·山木》 不足方。--《仪礼·乡射礼》。注犹併也。” 方舟设泭。--…

法fǎ部首 氵

法 (会意。从水”,表示法律、法度公平如水;从廳”,即解廳,神话传说中的一种神兽,据说,它能辨别曲直,在审理案件时,它能用角去触理曲的人。基本义刑法;法律;法度) 同基本义 灋,刑也。平之如水。从水,廳所以触不直者去之,从去,会意。--《说文》 利用刑人,以正法也。--《易·蒙》…

含「公」的词语

公j公丁公上公中公主公举公义公乘公了公事公交公产公亩公亮公人公仆公仇公仓公仪公仲