公理化方法
gōng lǐ huà fāng fǎ
公理化方法的意思
词语解释
公理化方法
◎从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
国语辞典
公理化方法
◎从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
网络解释
公理化方法 (汉语词语)
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
字义分解
公
拼音 gōng 部首 八 总笔画 4公 [ gōng ] 1. 公〈形〉 2. (会意。小篆字形,上面是八”,表示相背,下面是厶”(私”的本字)∠起来表示与私相背”,即公正无私”的意思。本义公正,无私) 3. 同本义 4. 公,平分也。--《说文》 5. 背厶谓之公,或说,分其厶以与人为公。--《韩非子·五蠹》 6. 公之为言公正无私也。--《春秋·元命苞》 7. 兼覆无私谓之公。--《贾子·道术》 8. 举公义,辟私怨。╠《墨子·尚贤上》 9. 屈平疾王听之不聪也,谗谄之蔽明也,邪曲之害公也,方正之不容也。--《史记·屈原贾生列传》 10. 又如公气(正大,公正);公素(公正质朴);公洁(公正廉洁);公慎(公正谨慎);公诚( 11. 公gōng 12. ⒈国家的或集体的,跟"私"相对~文。~款。~粮。~而忘私。立党为~。爱护~共财产。 13. ⒉正直,合理~事~办。~正无私。买卖~平。 14. ⒊共同的,大家认可的,大家适用的~约。~认。~海。 15. ⒋能普遍用于同类事物的~式。 16. ⒌让大家知道~布账目。可以~开。发布~报。 17. ⒍雄性的~牛。 18. ⒎称祖辈或年老的男人大~。外~。老~ ~。 19. ⒏丈夫的父亲赡养~婆。 20. ⒐对男子的尊称诸~。 21. ⒑〈古〉五等爵位(~侯伯子男)的第一等。 22. ⒒公制的计量单位和历法~斤。~里。~尺。~历。~元。 23. ⒓ 24. ⒔ 25. ⒕ 26. ⒖ 27. ⒗ [更多解释]
理
拼音 lǐ 部首 王 总笔画 11理 [ lǐ ] 1. 理〈动〉 2. (形声。从玉,里声。本义加工雕琢玉石) 3. 同本义 4. 理,治玉也。顺玉之文而剖析之。--《说文》 5. 理者,成物之文也。长短大小、方圆坚脆、轻重白黑之谓理。--《韩非子·解老》 6. 王乃使玉人理其璞而得宝焉,遂命曰和氏之璧。”--《韩非子·和氏》 7. 郑人谓玉未理者璞。--《战国策·秦策三》 8. 治理;管理 9. 不可胜理。--《战国策·秦策一》 10. 圣人之所在,则天下理焉。--《吕氏春秋·劝学》 11. 夫能理三苗。--《淮南子·原道》 12. 以昭陛下平明之理。--诸葛亮《出师表》 13. 贫困如故时,始复上街头理 14. 理lǐ 15. ⒈条纹。条理纹~。条~。有条有~。 16. ⒉事物的原由、规律、原则~由。道~。讲~∠~合法。 17. ⒊雕琢,加工玉石~璞(璞玉石)。〈引〉 18. ①办,治理,管理办~。~财。~家。~农事。 19. ②修整,整理修~。整~。~发。~书籍。 20. ⒋答,顾~睬。答~。置之不~。 21. ⒌注意,领会,了解~会。~解。 22. ⒍指自然科学,特指物理学~科。~学院。数~化。 23. ⒎ 24. ⒏ 25. ①反映事物本质和内在联系的认识,也指判断和推理等的能力~性认识。 26. ②指理智,道德丧失~性。 27. ⒐ 28. ①关于自然界和人类社会的规律性的系统的知识。它是人们从实践中概括出来的,又转过来为实践服务,能动地去改造世界正确的~论。 29. ②讨论,辩论是非曲直这事要~论清楚。 30. 理lài 1.赐予。 [更多解释]
化
拼音 huà 部首 亻 总笔画 4化 [ huà ] 1. 化〈动〉 2. (古字为匕”。会意。甲骨文,从二人,象二人相倒背之形,一正一反,以示变化。本义变化,改变) 3. 同本义 4. 匕,变也。--《说文》。徐灏曰匕化古今字。” 5. 知变化之道。--《易·系辞传》。虞注在阳称变,在阴称化,四时变化。”荀注春夏为变,秋冬为化,坤化为物。” 6. 和故百物化焉。--《礼记·乐记》 7. 若欲其化也。--《周礼·柞氏》。注犹生也。” 8. 状态而实无别而为异者谓之化。--《荀子·正名》。注化者改旧形之名。” 9. 胜败若化。--《国语·晋语》。注言转化无常也。” 10. 因时而化。--《吕氏 11. 化huà 12. ⒈改变大变~。感~人。蛹~为蛾。~为乌有。顽固不~。 13. ⒉融解雪~了。 14. ⒊消除,消食~痰清热。~食消积。 15. ⒋大自然的功能造~。 16. ⒌僧、道祈求布施~缘的。去~斋。 17. ⒍烧火~。 18. ⒎习俗,风气风~(也指物体被风腐蚀)。 19. ⒏放于名词或形容词后,〈表〉变成或使成为某种性质或状态绿~。革命~。科学~。现代~。工业~。 20. ⒐《化学》的简称数理~。 21. ⒑ 22. ⒒ 23. ⒓ 24. ⒔也作"花"。用掉,耗费~时间。莫乱~钱。 25. 化huā 1.用掉;消耗。 2.见"化子"。 3.见"化化"。 26. 化é 1.见"化言"。 [更多解释]
方
拼音 fāng 部首 方 总笔画 4方 [ fāng ] 1. 方〈动〉 2. (象形。下从舟省,而上有竝头之象。故知并船为本义。本义并行的两船;泛指并列;并行) 3. 同本义 4. 方,併船也。象两舟总头形。--《说文》 5. 大夫方舟。--《尔雅》。李注竝两船曰方舟。” 6. 方舟而济于河。--《庄子·山木》 7. 不足方。--《仪礼·乡射礼》。注犹併也。” 8. 方舟设泭。--《国语·齐语》 9. 江之永矣,不可方思。--《诗·周南·汉广》 10. 操军方连战舰,首尾相接。--《资治通鉴》 11. 蜀汉之粟,方船而下。--《史记·郦食其列传》 12. 又如方轨(两车并排行驶);方轩(并排的窗户) 13. 等同;相当 14. 方 fāng 15. ⒈四角都是直角的四边形或每个面都是直角四边形的六面体正~形。长~形。立~体。 16. ⒉正直~正。志行忠~(志行志向和行为)。 17. ⒊位置,地位上~。西北~。 18. ⒋一边或一面后~。静观对~。志在四~。〈引〉一个区域或地带地~。~言。~内安宁。 19. ⒌法子,办法~法。教子有~。〈引〉处方,药方开个~子。按~拣药。 20. ⒍副词。正,正在,正当~兴未艾。来日~长。 21. ⒎副词。刚,才~才到达。事后~知。 22. ⒏ 23. 【方针】引导事业前进的指针。 24. ⒐ 25. 【方略】计划和策略。 26. ⒑ 27. 【方案】具体规划,实施办法或规定。 28. ⒒ 29. 【方向】 30. ①东西南北等区域的划分。 31. ②目标做事要看清~向。 32. ⒓一个数目的自乘平~(本数乘本数)。立~(本数乘本数乘本数)。 33. ⒔量词。 34. ①计量面积一~(一平方米)地板。 35. ②计量体积一~(立方米)木材。五~沙子。 36. ③计算方形的东西两~砚台。 37. ⒕ 38. 【方寸】一寸见方。〈喻〉人的心~寸乱矣。 39. ⒖ 40. 【方圆】周围~圆十里茂竹林。 41. ⒗ 42. 【方式】讲话、做事所采用的方法和形式生活~式。讲究~式方法。 43. ⒘ 44. 【方程】含有未知数的等式。 45. 方fáng 1.通"房"。谷物初生尚未结实之谓。 2.通"防"。防御。 46. 方páng 1.通"旁"。广大;广博。 2.指遍及。 3.见"方羊"。 4.见"方皇"。 47. 方wǎng 1.见"方良"。 48. 方fēng 1.响度级单位。用方表示的声音的响度级,数值上等于根据人耳判断为等响的1000赫纯音的声压级的分贝数。 [更多解释]
法
拼音 fǎ 部首 氵 总笔画 8法 [ fǎ ] 1. 法 2. (会意。从水”,表示法律、法度公平如水;从廳”,即解廳,神话传说中的一种神兽,据说,它能辨别曲直,在审理案件时,它能用角去触理曲的人。基本义刑法;法律;法度) 3. 同基本义 4. 灋,刑也。平之如水。从水,廳所以触不直者去之,从去,会意。--《说文》 5. 利用刑人,以正法也。--《易·蒙》 6. 惟作五虐之刑曰法。--《书·吕刑》 7. 法者,刑罚也。所以禁强暴也。--《盐铁论·诏圣》 8. 杀戮禁诛谓之法。--《管子·心术》 9. 礼者禁于将然之前,而法者禁于已然之后。--《大戴礼记》 10. 失期 11. 法 fǎ 12. ⒈由国家机关制定或认可,颁布后强制执行的规则~令。~律。宪~。民~。刑~。犯~∠~。 13. ⒉规律~则。 14. ⒊处理事物的手段方~。办~儿。乘~。疗~。想个~子。 15. ⒋标准,仿效,可仿效的~帖。~书。效~。便国不必~古。 16. ⒌佛教的教义佛~。 17. ⒍封建迷信的骗人把戏~术。作~。 18. ⒎ 19. 【法宝】 20. ①佛教用语。指佛说法,也指僧尼的衣钵、锡杖等。 21. ②宗教或神魔、童话小说中所谓的法力、宝物等。〈喻〉特别有效的思想、事物、方法等统一战线、武装斗争、党的建设,是中国革命的三大~宝。 22. ⒏ 23. 【法院】行使审判权的国家机关。 24. ⒐ 25. 【法家】 26. ①对书法家、画家的尊称。 27. ②春秋战国时期主张"法治"的一个学派,以商鞅、韩非等为代表。 [更多解释]
