外延公理

wài yán gōng lǐ [wai yan gong li]

词语释义

在公理化集合论与使用它的逻辑、数学和计算机科学分支中,外延性公理或外延公理。

汉字详情

wài [wai]
部首: 337
笔画: 5
五笔: QHY
五行:
吉凶:
姓名学: 常用字,多用男性
仓颉: NIY
四角: 23200

详细解释

名词

(1) (会意。从夕,从卜。通常在白天占卜,如在夜里占卜,表明边疆(外)有事。又有人说,因为要在外过夜,故要卜问吉凶。本义:外面;外部)

(2) 同本义。与“内”或“里”相对

外,远也。——《说文》

凡卜筮日旬之外曰远。——《礼记·曲礼》

外骨内骨。——《周礼·考工记·梓人》

夜来城外一尺雪。——唐· 白居易《卖炭翁》

竹外桃花三两枝。——宋· 苏轼《惠崇春江晚景》

中通外直。——宋· 周敦颐《爱莲说》

身外即战场。——清· 薛福成《观巴黎油画记》

(3) 又如:外户(从外面关闭的大门);外祟(指外来的危害);外槨(棺材外的套棺);外好里枒槎(对外人好,对自己人苛刻);外藩(外部屏藩);外廓(外城);外见(显现于外);外求(求之于外);外舍(在外住宿)

(4) 外表;仪表

吉凶见乎外。——《易·系辞》

外托服从之名。——《资治通鉴》

(5) 又如:外象包皮(指善恶美丑表现在身上,行动语言表现在外表上);外表(人的外貌仪表);外秀(外表俊秀);外和(外表和气);外化(外表的变化);外方内圆(谓外表正直,内心圆滑);外视(外观、外表)

(6) 表面

无非是三等喻品,外像皮毛。——明·佚名《梼杌闲评——明珠缘》

(7) 又如:外刑(施于身体表面的刑罚);外像(表面现象);外局(表面上);外合里表(表里不一);外见(显现于外);外扬(显现于外);外意(文字描绘的表面意义);外营(外层营垒)

(8) 古代妻子对丈夫的称呼

夫妇相称曰外内,晋、 魏以前无之。—— 清· 钱大昕《恒言录》

(9) 外国 。如:外为中用

(10) 外地;异乡

上年老太太生日,曾有一个外路和尚来孝敬一个蜡油冻的佛手。——《红楼梦》

(11) 又如:外役(在外服役);外奔(逃亡国外,逃离本阵营,投奔他方);外府(外地);外路和尚(从外地来的和尚。即行脚僧)

(12) 外物。亦谓视为外物。身外之物,多指利欲功名之类;亦指外界的人或事物 。如:外欲(指外界的诱惑);外情(受外界事物触动而生之情);外盖衣服(穿在外面的罩衣);外境(指外界事物);外诱(外界事物的诱惑);外论(外界的议论);外议(外界的舆论)

(13) 指男子。亦指男宠,男色 。如:外色(男色);外子(旧时妻称夫为外子);外言(男子所说有关公务之言);外嬖(指宫禁外的宠臣,亦指男宠);外宠(指宠臣;亦指娈童,男色)

(14) 母亲、妻子、姐妹或儿女方面的(指亲属)

周三不合图财杀害外父外母。—— 明· 冯梦龙《警世通言》

(15) 又如:外氏(外祖父母家);外祖(外祖父);外外(外甥);外外姐姐(外甥媳妇);外家(岳父家);外孝(属于母族、妻族或出嫁姐妹等方面的);外大父(外祖父);外王父(外祖父);外王母(外祖母)

(16) 指外廷臣僚

一个外郎,叫做丘三。——《初刻拍案惊奇》

(17) 又如:外郎(官名。宋元时亦称衙门书吏);外朝(指在外朝参政诸官。后泛指朝臣)

(18) 指地方官。亦谓京官调任地方官

厥初防其淫,明敕内外臣。——白居易《重赋》

(19) 又如:外班(指分发到外省任职的班次);外吏(外臣。指地方官);外镇(镇守边关要塞的将帅);外藩(有封地的诸侯王);外补(道员的缺分,原则上由中央任命,但也规定了几个缺位,由外省督抚呈请任用)

(20) 指吏役人等 。如:外委总把(清代武官名。地位低于总把);外委(额外委派的低级武官);外场(打杂跑街的人)

(21) 以外

其外之文。——唐· 韩愈《朱文公校昌黎先生集》

秦以攻取之外。—— 宋· 苏洵《六国论》

付之度外。——宋· 文天祥《指南录后序》

(22) 又如:外作(正业之外的事);外郡(京都以外的州郡);外埠(本地以外的城镇);外境(国境以外的地区)

(23) 以前 。如:外者(从前,以往)

(24) 外来的

这一起外祟何日是了!——《红楼梦》

(25) 又如:外寇(外来的敌兵);外祟(外来的鬼怪、祸祟);外忧(外来的忧患);外比(外附,勾结外乱)

(26) 佛教称其他宗教、思想为外,自称为内 。如:外道(佛教称本教以外的宗教及思想)

(27) 传统戏曲脚色行当

外扮监斩官上。——元· 关汉卿《窦娥冤》

动词

(1) 疏远。关系、感情上保持距离

内小人而外君子。——《易·否》

(2) 又如:勿外(不要见外);外我(视我为外人;疏远我);外道(作客时,显得很疏远)

(3) 背离

骤令不行,民心乃外。——《管子·版法》

(4) 排斥

坚、白、石不相外,藏三可乎?——《公孙龙子》

(5) 抛弃

有所通,则贪污之利外矣。——《吕氏春秋》

形容词

(1) 另外;其他;别的

令居外宅。——《史记·衡山王列传》

(2) 又如:外教(外央。外行);外来钱(外快。额外的财利);外转(外输;外快);外慕(犹言他求;别有喜好);外第(别宅);外累(谓身外事物的烦扰、拖累)

(3) 异;不一 。如:外意(二心;异志);外道(见外;客气)

(4) 非正式的,非正规的,不正当的

齐悼惠王肥,其母,高祖微时外妇也。——《汉书·齐悼惠王传》

(5) 又如:外四路(指远亲);外务(份外的事;外遇);外宅(外妇;外室。指与男子无妻妾关系而同居的妇女);外名(外号);外妇(外妻;指男子于正妻以外在别处另娶的妾或私通之妇);外道(歪门邪道,搞不正当的活动)

英文翻译

out, outside, external; foreign

方言集汇

◎ 粤语:ngoi6 oi6
◎ 客家话:[沙头角腔] ngoi5 [海陆丰腔] ngoi6 ngo6 no6 mo6 [梅县腔] ngoe.3 [宝安腔] ngoi3 [客英字典] ngoi5 [台湾四县腔] ngoi5 ngo5 no5 mo5 [客语拼音字汇] ngoi4 [东莞腔] ngoi3 [陆丰腔] ngoi6

宋本广韵

廣韻目次:去十四泰
小韻反切聲母韻母聲調平水韻等呼韻部韻攝罗马字国际音标
五會泰合去聲合口一等nguad/nguayŋuɑi
yán [yan]
部首: 227
笔画: 6
五笔: THPD
五行:
吉凶:
姓名学: 姓,常用字
仓颉: NKHYM
四角: 12401

详细解释

动词

(1) 同本义

延,长行也。——《说文》。按,字亦作“蜒”。

蝮蛇蜒只。——《楚辞·大招》

延颈而鸣,舒翼而舞。——《韩非子》

我不敢知曰:不其延。惟不敬厥德,乃早坠厥命。——《书·召诰》

兹物苟难停,吾寿安得延!——晋· 陆机《长歌行》

莫不延颈举踵。——《吕氏春秋·顺说》

(2) 又如:延瞩(引颈瞩目);延望(引颈远望);延算三纪(延长寿命三十六年);延年(延长寿命);延息(延长寿命);延期(延长或推迟日期)

(3) 假借为“引”。引入;引见;迎接

摈者,延之日升。——《礼记·玉藻》

主人延客祭。——《礼记·曲礼》

出延射。——《礼记·射义》

(4) 又如:延接(引进接待);延入(引入);延登(引入而登殿)

(5) 拖延

延至七年(拖延到民国七年,即公元1918年)。——孙文《黄花冈七十二烈士事略·序》

(6) 又如:延挨(拖延);延俄(延迟一会儿)

(7) 绵延 。如:延袤(绵延;连绵);延昌(绵延昌盛)

(8) 延续

延及孝文王、 庄襄王…国家无事。—— 汉· 贾谊《过秦论》

(9) 又如:延寿文疏(祝寿的颂辞);延誉(称扬优点,使其名声远扬)延玩(迟延玩忽)

(10) 蔓延

延,遍也。——《方言十三》

延及于平民。——《书·吕刑》

前后邃延。——《礼记·玉藻》

(11) 又如:延地(到处);延灼(蔓延燃烧)

(12) 邀请;请

各复延至其家,皆出酒食。——晋· 陶渊明《桃花源记》

饮宴既毕,谦延 玄德于上座。——《三国演义》

(13) 又如:延师(聘请教师);延款(延请,款待);延医(请医生)

(14) 迎击

秦人开关延敌。—— 汉· 贾谊《过秦论》

形容词

长,久

延,长也。——《尔雅》

延延,长也。——《广雅》

延颈秀项。——曹植《洛神赋》

延,年长也。凡施于年者谓之延。——《方言一》

君亦悔祸之延。——《左传·成公十三年》

悔相道之不察兮,延伫乎吾将反。——《楚辞·离骚》

英文翻译

delay, postpone, defer

方言集汇

◎ 粤语:jin4
◎ 客家话:[客英字典] jen2 [东莞腔] jen2 [梅县腔] jan2 [台湾四县腔] jen2 [客语拼音字汇] yan2 [沙头角腔] jen2 [陆丰腔] jan3 [宝安腔] jen2 [海陆丰腔] ren2
◎ 潮州话:iang6(ĩang) [潮州]iêng6 [潮阳]iang5 ,iang5(îang)

宋本广韵

廣韻目次:下平二仙
小韻反切聲母韻母聲調平水韻等呼韻部韻攝罗马字国际音标
以然仙A開平聲開口三等仙Ajenjĭɛn
gōng [gong]
部首: 201
笔画: 4
五笔: WCU
五行:
吉凶:
姓名学: 姓,常用字
仓颉: CI
四角: 80732

详细解释

形容词

(1) (会意。小篆字形,上面是“八”,表示相背,下面是“厶”(“私”的本字)。合起来表示“与私相背”,即“公正无私”的意思。本义:公正,无私)

(2) 同本义

公,平分也。——《说文》

背厶谓之公,或说,分其厶以与人为公。——《韩非子·五蠹》

公之为言公正无私也。——《春秋·元命苞》

兼覆无私谓之公。——《贾子·道术》

举公义,辟私怨。—《墨子·尚贤上》

屈平疾王听之不聪也,谗谄之蔽明也,邪曲之害公也,方正之不容也。——《史记·屈原贾生列传》

(3) 又如:公气(正大,公正);公素(公正质朴);公洁(公正廉洁);公慎(公正谨慎);公诚(公正诚实)

(4) 共,共同

天下有公利而莫或兴之,有公害而莫或除之。——清· 黄宗羲《原君》

今黄生贫类予,其借书亦类予,惟予之公书与张氏之吝书若不相类。——清· 袁枚《黄生借书说》

(5) 又如:公患(共同的忧患,共同的祸患);公拟(共同拟定);公律(公认的规律)

(6) 公共,公家,公众的。与“私”相对

汉之为 汉,凡四十年矣,公私之积,犹可哀痛。—— 汉· 贾谊《论积贮疏》

(7) 又如:公中(公众;大伙儿;公家;公有的。引申为谁也不管的);公揖(向众人所作的一个揖礼);公本(公众的奏本);公欲(公众的欲望);公饯(公众举行的饯行宴)

(8) 属于国际间的问题 。如:公海;公元;公尺,公里

(9) 雄的,雄性的 。如:公畜

名词

(1) 朝廷;国家

是故身率妻子,戮力耕桑,灌园治产,以给公上。——《汉书·杨恽传》

某姓兄弟,以把持公仓,法应立决。——清· 方苞《狱中杂记》

(2) 又如:公上(朝廷;官家);公币(国家铸造的货币);公壤(国家公有土地);公宪(国法)

(3) 君王

十年春,齐师伐我,公将战。——《左传·庄公十年》

(4) 又如:公邑(国君的直辖地);公王(君王);公府(君主之府;官府);公寝(君主处理政事的宫室);公庙(指国君诸侯之庙)

(5) 公事;政府或机关的工作

被(借作“披”,穿)之僮僮(通“童童,光洁的样子),夙夜在公。——《诗·召南·采蘩》

矇瞍奏公。——《诗·大雅·灵台》

王公伊濯。——《诗·大雅·文王有声》

实维尔公允师。——《诗·周颂·酌》

有澹台灭明者,行不由径,非公事未尝至于 偃( 子游名, 武城宰)之室也。——《论语·雍也》

(6) 又如:公人(旧时衙门里的差役);公事人(犯人);公见(公务繁忙)

(7) 古爵位名

公,爵名,五等之首曰公;其余大国称侯;小国称伯、子、男。——《公羊传》

尔公尔侯,逸豫(快乐)无期。——《诗·小雅·白驹》

(8) 古代朝廷最高官位的通称 。后泛称朝中职高掌权者

光凡为御史大夫丞相各再,壹为大司徒、大傅、大师,历三世居公辅位,前后十七年。——《汉书·孔光传》

(9) 又如:公卿(泛指朝廷中的高官);公族(诸侯的同族,王公的子孙);公徒(诸侯的步兵);公令(诸侯的命令);公孙(诸侯之孙)

(10) 旧时对男性的长者或老人的尊称

凡尊老,周晋秦陇谓之公。——《方言》六

赵中大夫 白公。——《汉书·沟洫志》

游诸公。——《汉书·田叔传》

公其怒,不敢献。公为我献之。——《史记·项羽本纪》

及试,吏呼名至史公,公瞿然注视。—— 清· 方苞《左忠毅公逸事》

(11) 又如:张公;许孟公;公母(方言。指大爷大娘老两口);公修公德,婆修婆德(修德属于个人,不得代替)

(12) 通“翁”。父。又丈夫的父亲

宋人嫁子,若公知其盗也,逐而去之。——《淮南子·汜论》

便可白公姥,及时相遣归。——《玉台新咏·古诗为焦仲卿妻作》

(13) 又如:公姥(指公婆;指岳父);公姑(丈夫的父母,亦称“公婆”)

(14) 长本人两辈的男性亲属 。如:外公;舅公

(15) 通“功”。劳绩,功绩

当此之时,诸侯莫能以德,而争于公利,故以权相倾。——《盐铁论·轻重》

寿张侯以公德加位特进。—— 汉《中常侍骑都尉樊——安碑》

(16) 又如:无公(没有功劳);肤公(微小的功绩)?

动词

公布,让众人知道 。如:公之于世;公之世人

副词

(1) 公然;公开地

残贼公行,莫之或止。——汉· 贾谊《论积贮疏》

公然抢茅入竹去,唇焦口燥呼不得。——唐· 杜甫《茅屋为秋风所破歌》

(2) 又如:公讨(公开揭露声讨);公言(公开谈论;公众的言论);公取(谓公然夺取他人财物)

英文翻译

fair, equitable; public; duke

方言集汇

◎ 粤语:gung1
◎ 客家话:[梅县腔] gung1 [客语拼音字汇] gung1 [客英字典] gung1 [台湾四县腔] gung1 [沙头角腔] gung1 [宝安腔] gung1 [海陆丰腔] gung1 [东莞腔] gung1 [陆丰腔] gung1
◎ 潮州话:gong1

宋本广韵

廣韻目次:上平一東
小韻反切聲母韻母聲調平水韻等呼韻部韻攝罗马字国际音标
古紅東一平聲開口一等kungkuŋ
[li]
部首: 436
笔画: 11
五笔: GJFG
五行:
吉凶:
姓名学: 姓,常用字,多用男性
仓颉: MGWG
四角: 16115

详细解释

动词

(1) (形声。从玉,里声。本义:加工雕琢玉石)

(2) 同本义

理,治玉也。顺玉之文而剖析之。——《说文》

理者,成物之文也。长短大小、方圆坚脆、轻重白黑之谓理。——《韩非子·解老》

王乃使玉人理其璞而得宝焉,遂命曰:“ 和氏之璧。”——《韩非子·和氏》

郑人谓玉未理者璞。——《战国策·秦策三》

(3) 治理;管理

不可胜理。——《战国策·秦策一》

圣人之所在,则天下理焉。——《吕氏春秋·劝学》

夫能理三苗。——《淮南子·原道》

以昭陛下平明之理。——诸葛亮《出师表》

贫困如故时,始复上街头理其故业。——黄宗羲《柳敬亭传》

为天下理财。——王安石《答司马谏议书》

理事自若。——《后汉书·卓茂传》

(4) 又如:当家理事;理官(治理狱讼的官员);理民(治理人民);理国(治理国家)

(5) 整理,使有条理、有秩序

分茧理丝。——《晋书·左芬传》

当户理红妆。——《乐府诗集·木兰诗》

(6) 又

当窗理云鬓。

(7) 又如:理妆(整理妆饰);理丝(抽理蚕丝);理鬓(梳理鬓发);理顺

(8) 处理,办理 。如:料理(办理;处理);理七(旧俗人死后每七日斋供一次,凡七次,共四十九日而止);理狱(处理讼事)

(9) 温习;熟习

被服罗裳衣,当户理清曲。——《古诗十九首》

(10) 又如:理书(温习功课);理乐(练习演奏乐曲);理曲(练习歌曲)

(11) 奏起 。如:理音(弹奏音乐);理丝(弹奏弦乐);理乐(奏乐)

(12) 区分;辨别

理道之远近而致贡。——《荀子·王制》

(13) 又如:理音(辨别声音)

(14) 理睬,理会

只顾玩笑,并不理他。——《红楼梦》

(15) 又如:不理(不闻不问);理值(理睬);理识(犹理睬)

(16) 申诉;辨白 。如:理诉(申诉);理说(申辨是非);理辨(申辨)

(17) 修缮 。如:理葺(修理,修补);理楫(修理船桨)

(18) 操理

始复上街头理其故业。——清· 黄宗羲《柳敬亭传》

名词

(1) 纹理;条理

井井兮有其理也。——《荀子·儒效》

璧袭无理。——《淮南子·览冥》

知分理之可相别异也。——《说文解字·叙》

圭形石质,苍色腻理。——刘禹锡《砥石赋》

(2) 又如:理比(纹理相次);理路(纹理,纹路)

(3) 法律;司法官

弦子旗为理。——

管子·小匡》

遂下于理。——汉· 司马迁《报任安书》

(4) 又如:理刑厅(理刑官员)

(5) 道理,义理

井井兮其有理也。——《荀子·儒效》

恶积祸盈,理至焦烂。——南朝梁· 丘迟《与陈伯之书》

势不同而理同。——柳宗元《送薛存义序》

是未明天地之理,万物之情者也。——《庄子·秋水》

理实如兄言。——《玉台新咏·古诗为焦仲卿妻作》

天下之理得矣。——宋· 王安石《答司马谏议书》

验之以理。——《吕氏春秋·慎行论》

理无专在。——清· 刘开《问说》

(6) 又

理有未安,妄以臆度。

(7) 又如:无理(没有道理);在理(合乎道理);理致(义理情致,思想情趣);理窟(义理会聚处;道理深奥处);理顺(道理顺当;理由正当)

(8) 事理 。如:理趣(事理的旨趣)

(9) 使者

行理之命,无月不至。——《左传·昭公十三年》。注:“行理,使人通聘问者。”

(10) 媒人

吾令蹇修以为理。——《楚辞·屈原·离骚》

(11) 自然科学与物质世界和其现象有关的这种知识 。如:理工科

(12) 物理学 。如:数理化

(13) 通“吏”。狱官

孟秋之月:命理瞻伤。——《礼记·月令》

李离者, 晋文公之理也。——《史记·循吏列传》

形容词

治理得很好

本事不理。——《荀子·天论》

运极则化,理乱相承。——《后汉书·蔡邕传》

一切治理,威名流闻。——《汉书·赵尹韩张两王传》

英文翻译

reason, logic; manage

方言集汇

◎ 粤语:lei5
◎ 客家话:[台湾四县腔] li1 li3 [客英字典] li1 li3 [海陆丰腔] li1 li3 [东莞腔] li3 [陆丰腔] li1 [梅县腔] li1 [沙头角腔] li1 [宝安腔] li1 [客语拼音字汇] li1
◎ 潮州话:li2

宋本广韵

廣韻目次:上六止
小韻反切聲母韻母聲調平水韻等呼韻部韻攝罗马字国际音标
良士上聲開口三等lix/liiolĭə