Jax-dan/zhwiki-latest huggingface dataset:
石排湾邨

石排湾邨（）是香港房屋委员会辖下的公共屋邨之一，重建项目编号为HK25RR，位于香港南区香港仔石排湾，由香港房屋委员会负责屋邨管理。
历史及简介.
旧石排湾邨.
重建前的石排湾邨为一徙置屋邨，位于香港仔石排湾渔光道，于1964年筹划兴建，1965年1月动工兴建首幢楼宇，于1966年至1968年建成，主要用作安置涌尾的艇户，以腾出水域作填海之用。全邨拥有7幢第4型徙厦，第1-5座楼高16层，设有升降机；第6及第7座楼高7层，不设升降机。当中第2座于1985年被列入「26座问题公屋」名单当中，于1988年率先清拆并改建为临时公园，其余6座的楼宇就根据整体重建计划于1999年清拆，进行一次过的整体重建。
在1967年10月26日，徙置事务处于第6座举行了一个庆祝典礼，纪念接受徙置居民达100万人，并为此邨进行官方揭幕式，仪式由港督戴麟趾主持，而各徙置区街坊代表，以及全港第一位徙置区居民刘宗义亦有份观礼。当中，第100万名徙置区居民、时年6岁的冯桂珍，在典礼上代表其一家从港督手上接收单位门匙。
邨内设有一个7人石地足球场，两个标准篮球场（位于第3座与第4座之间及第5座）以及一个只得半场的篮球场（在第4座，主要供小学使用，但亦公开给予市民使用），而足球场在重建时亦得到保留。当时亦有各一间小学相连于第4座及第5座（类似的第四型大厦还有慈云山邨其中八座，元朗邨3及4座，以及东头邨22座等20余座），在第5座设有露天街市。而第3座是唯一一座没有地下商舖，但在3楼、9楼及13楼容许指定的家庭开办士多，而第3座是没有公厕的，其余的均设有公厕供商舖使用。
随著房委会的「整体重建计划」，石排湾邨于1998年6月30日永久封闭，翌年正式清拆重建，不少选择原区安置的受影响居民迁入田湾邨。另一方面，随著新石排湾邨落成，黄竹坑邨亦清拆重建，原黄竹坑邨居民于2007年9月29日前全数迁出，不少选择原区安置的受影响居民均会迁入新石排湾邨。
重建.
新石排湾邨由房屋署总建筑师（2）及周余石建筑师事务所联手设计，共有8座出租公屋大厦，分别名为碧朗、碧月、碧银、碧辉、碧蔚、碧禄、碧山、碧园楼。邨内设有1个旧邨保留下来的7人石地足球场、一个标准篮球场（位于碧蔚楼后与7人石地足球场对落的山坡之间）、两个只供小学用的标准篮球场、一个平台、2个羽毛球场及多个游乐场和两个露天剧场等。石排湾邨为本港唯一设有灵活性大厦（原先作居屋用途，因「孙九招」改作公屋）及港岛区唯一设有新和谐一型大厦的公共屋邨。
新邨内加设一个小型商场、一个停车场及多个社区中心。居民如要买菜，可到隔邻的渔光道街市。又可到渔光道体育馆运动。
新邨项目的名称为石排湾邨重建计划，于1999年9月完成设计，造价为约32.5亿港元。第一期的承建商为瑞安承建有限公司；第二期原先由德信建筑承建，但因施工缓慢及拖欠工人薪金，被房署勒令终止合约而导致烂尾；接手的承建商为兴胜创建有限公司。
所有新厦于2005年9月至2007年间分期入-{伙}-。
屋邨资料.
现存楼宇.
石排湾邨所有楼宇的名称均以汉字「碧」为开首（碧〇楼），其部首更是石部，以呼应屋邨名称。
历代楼宇.
全邨楼宇均牵涉26座问题公屋丑闻，其中2座更是26座问题公屋之一，其混凝土强度未达高层单位20.7MPa或低层单位31MPa的标准，相关楼宇均已纳入整体重建计划下重建
设施.
屋邨休憩空间分为两部分，地面设有广场、羽毛球场、篮球场、洗手间和儿童游乐场。而平台层设露天剧场、棋艺区、儿童游乐场和网球场。而屋邨亦设有停车场。
石排湾商场.
石排湾商场设于地库一层，商用面积约1,300平方米，主要租户包括百佳超级市场、Circle K、圣安娜饼屋、补习中心、一间牙医诊所和自动柜员机。餐厅为大家乐快餐店。LG2层设香港青年协会赛马会Media 21媒体空间。而地面设石排湾邨公共运输交汇处，有巴士总站、专线小巴站及的士站。租户包括新生糕美和新生精神康复会石排湾综合培训中心。
石排湾商场在2023年未到2024年初更换标志。
熙德

罗德里戈·迪亚斯·德·比瓦尔（Rodrigo Díaz de Vivar；），人称熙德（El Cid），卡斯提尔贵族，巴伦西亚的征服者和领主，西班牙民族英雄。
生平.
罗德里戈·迪亚兹·德·比瓦尔生于比瓦尔地区的贵族家庭。罗德里戈由于英勇善战，赢得摩尔人的尊敬，称他为El Cid（Al-Sayyid，阿拉伯语对男子的尊称），中文翻译为“熙德”。卡斯蒂利亚国王阿方索六世因熙德对摩尔人作战功勋卓著，将自己的堂妹希梅娜许配他为妻。
1080年， 熙德因未经阿方索国王的同意，擅自对摩尔人治下的托莱多城发起进攻，引起阿方索六世强烈不满，于次年受流放国外的处分。熙德被迫率领一部分亲友和追随者离开卡斯提尔，投奔萨拉戈萨的摩尔人优素福·穆塔曼·伊本·胡德（Yusuf al-Mu'taman ibn Hud）军中效力，并成为其麾下一员大将。熙德后来叛离了摩尔势力重新效忠卡斯提尔，由于他骁勇、慷慨大方、宽宏大量，伊比利半岛各地许多的勇士慕名前来投奔，熙德的势力迅速壮大，并不断地与摩尔人作战，屡战屡胜。
1094年，熙德攻下了巴伦西亚及其周边地区，成为巴伦西亚地区实际上的统治者。1099年，熙德在瓦伦西亚被摩尔人围城时因饥荒或瘟疫逝世，他的妻子西蒙娜携其遗体回到卡斯提尔。
熙德的相关作品.
席德的故事在西方世界广为流传，中世纪时写成了史诗《熙德之歌》，近代则有电影《》等。
戏剧.
法国戏剧家皮埃尔·高乃依在1636年，基于西班牙戏剧家贵连·迪·卡斯特罗(Guillén de Castro,1569-1631)的《熙德的青年时代》(Las Mocedades del Cid)写下悲喜剧《熙德》。
《熙德》1637年初上演，引起激烈争论并遭禁演。高乃依为此沉默了三年之久，1640年才动笔创作了《贺拉斯》（1660年）《西娜》（1641年）、《波利厄克特》（1643年）。这三部戏剧均取材于古罗马，与《熙德》一起成为高乃依的“古典主义四部曲”。
游戏.
在微软推出的游戏《世纪帝国II：征服者入侵》中，席德死后，由他的妻子西蒙娜接替他，成为了瓦伦西亚的管理者。
« A vaincre sans péril, on triomphe sans gloire » 
"没有历经危难的成功，是没有光荣的胜利"出自法国第一部古典主义名剧：高乃依的《熙德》。
自治领

自治领（）指的是大英帝国殖民地制度下一个特殊的政体，拥有殖民地中最高的自由度并设有自治独立的议会，是殖民地迈向独立的最后一步。
在19世纪之后，所有实行自治或半自治的英国殖民地都可以被称为“自治领”。这些自治领基本都完成了民主转型，拥有成熟且不暴力的政治体制；其国民大多已具有法治意识和契约精神，在这些国家占据主导地位的官员也不会根据自己的喜好而任意无视宪法，代表性的有加拿大、澳洲、纽西兰和南非。自治领都是由直辖殖民地（Crown Colony）或自治殖民地进化为自治领。
历史.
最初在殖民地争取成为自治领后，除了内政享有高度自治外，自治领亦拥有自己的贸易政策、有限的外交政策自主，而且更可设立自己的军队，但只有英国政府才有宣战权，形成类似多个国家集体防卫的制度。不过在1931年前，自治领的体制并无明确的法理依据可循。自治领的宪法依然由英国国会制定，自治领本身无权修改，但可提请英国国会修改，而英国国会一般都会同意修改。自治领可以完全制定一套属于自己的宪法的日子，则常常被视为自治领正式取得独立之日。为了庆祝从英国去殖民化政策促使的完全独立，独立日当日也演变成加拿大、澳洲、纽西兰等国的国庆日。
发展.
殖民地和地区成为自治领的时间：
法理依据.
在1931年，英国国会通过《1931年西敏法令》，并在此法例中订明英国政府从此不可（凭借拥有其他自治领君主身份的英国君主之名义）介入或干涉自治领的内政。各自治领从始以自治领君主的身份，来称呼英国君主。法例订明以下殖民地和地区为自治领：
但法例也订明，自治领的主权仍属于英国君主。直至1949年，英国国会通过《》，宣布爱尔兰主权不再属于英国君主，爱尔兰得以完全独立，同年纽芬兰自治领亦加入加拿大成为加拿大第10个省，原本奉行君主立宪制的南非就在1960年公投通过改行共和制，并于次年5月31日正式成立共和国及退出英联邦，直到1994年纳尔逊·曼德拉上台后才重新加入。迄今为止，加拿大、澳大利亚及新西兰的国家元首依然是国王查尔斯三世。
从自治领到英联邦.
自二次大战后，重建中的英国国力大幅衰退，无力编列庞大预算进行收买与管理殖民地，美国取代之成为西方国家（包括各不列颠自治领）的援助来源和盟友，令英国和各自治领的关系被削弱。1942年2月，澳洲就单方面从英属缅甸撤军。1947年8月，英属印度和巴基斯坦脱离英国独立后，英国把自治领部和英联邦关系办公室（Commonwealth Relations Office）合并。
英国曾希望非洲殖民地遵从自治领制度从殖民地成为自治领，加纳于1957年成为自治领，但在1960年即独立成为共和国，其他殖民地也直接独立，未成为过（或只短时间成为过）自治领。自治领制度成为殖民地步向独立的过渡制度。
英国非白人占人口多数的殖民地二战后成为自治领和独立的时间：
因此真正长期为自治领的都是白人占人口多数的殖民地。
自治领的制度随殖民地的独立和各自治领行使越来越多的权力而演变成英联邦王国的制度：就是各英联邦成员都是前英国殖民地，其中15国继续承认英国君主为国家元首（Head of State），但除此外可说是跟英国再无任何特殊关系，英国在这些英联邦国家没有任何特权。原本英国政府对与英联邦成员国之间的贸易有优惠政策，但随着1973年英国加入欧洲各共同体（欧盟前身），对英联邦成员国贸易的优惠政策也停止实施。目前英联邦成员国，除了名称和虚的头衔之外，法理上关系完全平等，只成为有运动会以及各种会议活动，一个近乎于联谊的组织。
自治领与英国的关系.
外交.
最初，自治领的外交由英国外交部负责，1907年，英国殖民地部属下成立了一个专责的部门负责自治领的外交事务。1909年，加拿大首先成立了自己的外交部，但实质外交事务仍经由加拿大总督（由加拿大君主委任的代表）、加拿大驻伦敦高级专员（High Commissioner）和英国驻外国的大使进行（加拿大在1880年成立了驻英专员公署，澳洲在1910年跟随成立驻英专员公署）。1914年，英国向德国宣战（一次大战），并在没有询问各自治领的意见下代表各自治领向德国宣战，引起部分加拿大官员不满，也在南非引发反英浪潮。1918年2月，加拿大在美国华盛顿成立战时代表处，处理英国从美国得到的军用物资。
1919年，各自治领各自成为凡尔赛和约的独立缔约国（虽然他们都没有自行向德国宣战），但和约仍是由英国代表各自治领谈判。1922年，因各自治领反对英国对土耳其进行军事行动而令英国和土耳其和谈。一战后，各自治领渐渐自行处理外交事务，1923年3月，加拿大自行与美国签订《》（一项渔业协订），是自治领首次自行签订国际条约。1926年6月，英国殖民地部属下的自治领外交事务处升级为独立的部门。
1926年11月，英国在《贝尔福宣言》中同意自治领和英国在外交事务上有平等地位。1927年，加拿大成立驻美代表处。1928年，英国成立驻加拿大专员公署，处理英国对加拿大的外交事务，结束由加拿大总督同时处理行政事务和英国对加拿大的外交事务的安排。1931年，贝尔福宣言获英国国会通过，后陆续获各自治领的国会确认。
二战后，各自治领渐渐接管所有的外交权力：1940年，澳洲成立驻美代表处，1943年，加拿大把驻美代表处升级为大使馆。
国防.
在自治领制度初期，君主保有宣战权，因此当英国向外国宣战，各自治领的军队也自动投入作战，但保留自己的旗帜，如加拿大军队仍以加拿大军队而非英军的身份参战。因英国宣战而令自治领参战的有布尔战争和一次大战。
这制度在二次大战时受考验。1939年，英国向德国宣战，但其自治领却有不同反应：
由于出现这种动员情况对当权者比较麻烦，这些历史事件加速了各自治领试图完全走向独立。
自治领与自治殖民地.
20世纪初，自治领与自治殖民地的分别在于自治领拥有「国家」（Nationhood）的身份，也就是在政治上能够彻底的独立自主，而自治殖民地只有内政自治。自治领在外交、国防和国际贸易上也有一定的自治权，其在这些自治权利在众地区成为自治领之后的数十年逐渐增加，直至完全控制权力，成为独立国家。
绒假吸血蝠属

绒假吸血蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与绒假吸血蝠属（绒假吸血蝠）同科的动物尚有剑鼻蝠属（金剑鼻蝠）、长叶蝠属（长叶蝠）等之数种哺乳动物。
长叶蝠属

长叶蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与长叶蝠属（长叶蝠）同科的动物尚有美洲叶鼻蝠属（加州叶鼻蝠）、南美大耳蝠属（绒大耳蝠）、剑鼻蝠属（金剑鼻蝠）、绒假吸血蝠属（绒假吸血蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
美洲叶鼻蝠属

美洲叶鼻蝠属（），哺乳纲、翼手目、叶口蝠科的一属，而与美洲叶鼻蝠属（加州叶鼻蝠）同科的动物尚有南美大耳蝠属（绒大耳蝠）、美洲矛吻蝠属（锯缘矛吻蝠）、长叶蝠属（长叶蝠）、剑鼻蝠属（金剑鼻蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
南美大耳蝠属

南美大耳蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与南美大耳蝠属（绒大耳蝠）同科的动物尚有美洲矛吻蝠属（锯缘矛吻蝠）、狭面矛吻蝠属（狭面矛吻蝠）、美洲叶鼻蝠属（加州叶鼻蝠）、长叶蝠属（长叶蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
美洲矛吻蝠属

美洲矛吻蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与美洲矛吻蝠属（锯缘矛吻蝠）同科的动物尚有狭面矛吻蝠属（狭面矛吻蝠）、矛吻蝠属（矛吻蝠）、南美大耳蝠属（绒大耳蝠）、美洲叶鼻蝠属（加州叶鼻蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
狭面矛吻蝠属

狭面矛吻蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与狭面矛吻蝠属（狭面矛吻蝠）同科的动物尚有矛吻蝠属（矛吻蝠）、圆耳蝠属（圆耳蝠）、美洲矛吻蝠属（锯缘矛吻蝠）、南美大耳蝠属（绒大耳蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
矛吻蝠属

矛吻蝠属（学名：）是哺乳纲翼手目叶口蝠科的一属，而与矛吻蝠属（矛吻蝠）同科的动物尚有圆耳蝠属（圆耳蝠）、缨唇蝠属（缨唇蝠）、狭面矛吻蝠属（狭面矛吻蝠）、美洲矛吻蝠属（锯缘矛吻蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
圆耳蝠属

圆耳蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与圆耳蝠属（圆耳蝠）同科的动物尚有缨唇蝠属（缨唇蝠）、美洲假吸血蝠属（美洲假吸血蝠）、矛吻蝠属（矛吻蝠）、狭面矛吻蝠属（狭面矛吻蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
美洲假吸血蝠

美洲假吸血蝠（学名：'），属哺乳纲翼手目叶口蝠科，也是美洲假吸血蝠属的唯一物种，栖息于墨西哥、中美洲及南美洲。其同科近亲有窄齿长舌蝠属（窄齿长舌蝠）、缨唇蝠属（缨唇蝠）、圆耳蝠属（圆耳蝠）等之数种。
美洲假吸血蝠为新大陆上最大型的蝙蝠，同时也是最大型的肉食性蝙蝠，翼展可达 。具有粗壮的头颅与牙齿，可以透过强大的咬合力杀死猎物，多半以鸟类、囓齿类、昆虫或其他蝙蝠为食。
和其他大部分的蝙蝠不同，美洲假吸血蝠为单配偶制，群体由一头成年雄性与一头成年雌性及牠们的后代所组成，雄性负责将食物带回巢穴喂养群体，多半位于树洞之中。由于数量稀少加上栖息地破坏的威胁，美洲假吸血蝠已被国际自然保护联盟标为近危物种。
描述.
美洲假吸血蝠为新大陆上最大型的蝙蝠，同时也是世界上最大行的肉食性蝙蝠。翼展可达 
，前臂长度为 ，拇指长 ，上面具有类似猫的弯曲利爪。全身体长可达 ，体重约为 。
总体来说，美洲假吸血蝠的头颅骨类似于缩小版的犬科或熊科头颅骨
美洲假吸血蝠的脑相对于身体来说偏大（1:67），其甚至较猫狗还高。
窄齿长舌蝠属

窄齿长舌蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与窄齿长舌蝠属（窄齿长舌蝠）同科的动物尚有尖叶长舌蝠属（螫长舌蝠）、铲齿蝠属（铲齿蝠）、美洲假吸血蝠属（美洲假吸血蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
水中血战

水中血战（，，意为「墨尔本血浴」）是水球历史上最具争议的著名比赛，指的是1956年12月6日1956年夏季奥林匹克运动会上，匈牙利男子水球队与苏联男子水球队争夺水球决赛席位的一场比赛。比赛以匈牙利队4:0完胜苏联队告终，赛中多位球员大打出手，导致血流满面。
「水中血战」之名取自媒体拍摄匈牙利水球员扎多尔·埃尔温在血战之后右眼角流血之场景。比赛发生于匈牙利十月事件之后不久。
背景.
1956年10月23日布达佩斯发生了一场20万人的大规模集会，目的是反对苏联扶持的匈牙利劳动人民党政府。在外界看来，此事可能会导致匈牙利脱离苏联的控制。11月1日开始，苏联装甲部队入侵匈牙利，并在11月4日至11月10日这段时间内，联合空军、炮兵等镇压了这场运动。 
起义当时，匈牙利水球队正在布达佩斯的一个山地训练营受训。他们能够听见枪声并看见硝烟升起。这支队伍即将参加墨尔本夏季奥运会，此时离奥运会开幕只剩下不到两个月的时间，他们迅速越过国境进入捷克斯洛伐克以免卷入事变。直到这些队员们最后到达澳大利亚的时候，他们才得以了解事变程度之剧，他们都非常焦急地等待亲友的消息。
奥运会.
匈牙利水球队.
奥运会开始的时候，这场运动已经被残酷地镇压了。这个时候，很多队员将奥运会看成了挽救国家尊严的机会。“我们觉得我们打球不仅仅是为了我们自己，更为了我们的整个国家。”扎多尔在赛后如是说。此时，国际社会也开始觉察到苏联对待匈牙利起义的异常残酷行为，匈牙利奥运队伍无论在哪里比赛都伴随著观众热烈的欢呼。著名的“水中血战”比赛开始的时候，一群狂热的观众——被逐出国外的匈牙利人——簇拥着前来观看，这群人几天前刚观看了匈牙利拳手保普·拉斯洛在拳击赛场上赢得他的第三块金牌。
当天比赛.
从一开始，比赛就呈现白热化局面，大量拳打脚踢的身体接触不断出现。匈牙利明星队员扎多尔打入两球，引起了观众的热烈欢呼。以4:0领先进入最后时段，扎多尔因被打中而被迫退出比赛。扎多尔的受伤突破了情绪早已激化的观众人群的最后一丝忍耐。为了避免骚乱爆发，比赛的最后一分钟被取消，警察进入比赛场地驱散观众人群。扎多尔受伤的照片被各大报纸发往全世界，从而引出了“水中血战”的名字，尽管报道“水球馆的水都被血染红”的说法有夸张的修辞成分。
之后比赛.
匈牙利人继续在决赛中以2:1击败了南斯拉夫并且赢得了他们奥运会上的第四枚金牌。奥运会后，100人的匈牙利奥运代表团中，有一半人逃往西方国家。
相关艺术创作.
2006年，为纪念匈牙利十月事件50周年，纪录片《自由的怒吼》（）发行，以告诉人们这场比赛的故事。该片由刘玉玲和昆廷·塔伦蒂诺制片，两人称之为“听到过的最好的故事”。马克·施皮茨在片中讲述了这个故事，扎多尔曾是他青少年时的教练。
勒文海姆–斯科伦定理

在数理逻辑中，经典勒文海姆–斯科伦定理（）声称对于标识（signature）为 formula_1 的任何可数一阶逻辑语言 "L" 和 "L"-结构 M，存在一个可数无限基本子结构 "N" formula_2 "M"。
这个定理的自然和有用的推论是所有一致的 "L"-理论都有可数的模型。
这里的标识由常量集合 formula_3、函数集合 formula_4、关系符号集合 formula_5、和表示函数和关系符号的元数的函数 formula_6 组成。在这个上下文中 "L"-结构，由底层集合(经常指示为“"M"”)和 "L" 的函数和关系符号的释义组成。"L" 的常量在 "M" 中的释义就是 "M" 的成员。类似的，formula_7-元函数 formula_8 被指派为 "M" 中的 formula_7-元函数 formula_10 的图，而formula_11-元关系 formula_12 的释义被指派为 "M" 中的 formula_11-元关系。语言 "L" 是可数的，如果在 "L" 中的常量、函数和关系符号是可数的。
例子.
一个周知的不可数模型是所有实数的集合，带有次序关系 "&lt;" 作为唯一的关系，和加法与乘法作为函数。有序域的公理是一阶句子；最小上界公理不是一阶的而是二阶的。这个定理蕴涵了实数域的某个可数无限的子域，因此不同于实数域，但满足了实数域所满足的所有一阶句子。(作为可数的有序域，它不能满足最小上界公理)。例如，特定多项式方程有解(在这个模型中)的断言是一阶句子，因此在断言了其存在的可数子模型中是真的，当且仅当它在实数域中是真的。
数学家考虑的多数数学结构，特别是多数范畴的多数成员，是这里定义意义上的模型。勒文海姆–斯科伦定理告诉我们如果它们是不可数的，它们不能被任何一阶句子的集合唯一性的选取出来。
证明梗概.
对于在模型 "M" 中为真的如下形式的一阶句子
或
有一个Skolem 函数 "f"，就是说映射 "x" 到断言了其存在的 "y" 的函数，使得
在 "M" 中为真。因为有很多这样的 "y" 的值，必须启用选择公理来推出 Skolem 函数的存在。
这个模型的某些成员可以直接用一阶公式来定义，就是说，它们的存在被如下形式的句子所断言
并且因为只有可数多个一阶公式，只有可数多个成员可以用这种方式直接定义。
证明的想法是: 开始于这个模型的所有一阶可定义成员的集合，并接着在所有 Skolem 函数下闭合它。这个闭包必定最多是可数无限的。这个模型的子集是这个定理断言了其存在的子模型。
更一般的 "勒文海姆–斯科伦定理".
上述定理假定了有限或可数无限的语言。更一般的勒文海姆–斯科伦定理做其他有关基数的假定。类似于这个经典定理的某些定理，断言更小的子模型的存在(“向下”勒文海姆–斯科伦定理)；其他一些断言更大基数的模型的存在(“向上”勒文海姆–斯科伦定理)。
勒文海姆-斯科伦定理在一阶逻辑中的定义和证明.
勒文海姆-斯科伦定理: 如果 formula_18 是一个含有有限可数个数的命题组成的集合，并且集合 formula_18 是可以满足的(formula_18 SAT),那么至少存在一个模型(或叫作指派，或叫作解释 (Interpretation)) 用符号记作 I, formula_21 ,且这个模型 I 指派解释也是可数的
证明:
刘昭文

刘昭文（，），香港男配音员、前节目主持人、前演员。
简历.
刘昭文曾用艺名刘行。刘昭文中学毕业后受胞姐刘红芳影响入读1983年第12期无线电视艺员训练班，毕业后没有签约无线电视，同年加入香港电台广播剧组担任播音员及参与电视节目主持及演出。1980年代后期与翟耀辉、罗嘉玲、蔡映玉、曾月娥并为香港电台戏剧组的新进播音员，演出粤语广播剧。曾于1983年至2009年间连续参与教育电视的演出和作旁白达26年（即教育电视仍使用4:3制作之时），与林友荣、温泉、凌礼文同为教育电视播出近半世纪以来最资深的参与者之一（前述三人于1971年至1997年同样参与演出达26年）。
1992年任职自由身配音员，但早于1980年代担任播音员时跟随配音领班卢杰学习配音以扩阔自己领域，1993年加入无线电视配音组才正式由播音员转型为配音员。1995年再次任职自由身配音员，多年来主要为VCD作品配音，对爱子动画最为敬重。2003年10月重返无线电视配音组一直工作至2020年10月，2012年兼任无线电视报幕员，第二度任职无线电视时期是日本演员、松尾谕、、、、户次重幸、台湾演员刘亮佐、英国演员纳文·安德鲁斯的常任配音员。2020年10月起因中港封关而长居深圳直至2022年回港再次任职自由身配音员。
刘昭文从事配音工作多年，最敬佩的配音员包括谭炳文、朱子聪、谢月美及黄健强，亦相当欣赏林保全及郭志权的配音功力。
个人生活.
刘昭文的前妻是同为配音员的曾佩仪。其后于内地再婚，现任妻子于2014年诞下儿子。现时定居于深圳。
演出作品（舞台剧）.
《歌声无泪》（2014）
Marginal Prince —月桂树的王子们—

《Marginal Prince —边境王子-月桂树的王子们—》（）是日本手机平台的一款女性向恋爱模拟游戏，2005年8月开始配信，目前于NTT DoCoMo的i-mode平台与au的EZWeb平台展开服务。崭新的系统与丰富的故事性获得玩家的广大好评。本作获选为第9届日本新媒体动漫艺术节审查委员会特别推荐作品，在女性向游戏界是首例。此外也改编成TV动画，2006年10月开始放送。
概要.
玩家经由游戏中所设定的玩家弟弟「」，与游戏内其他男性角色交流与沟通。随著对话选择的不同，增加攻略角色的好感度。在游戏过程中也可以得到角色的手机用语音或图片。除此之外，因为这是在手机平台上的游戏，也会有游戏内角色以电话语音方式拨打到玩家手机，让玩家宛如实际接到攻略角色所打来的电话之特别服务，在日本手机游戏界来说是一种十分崭新的手法。
网切

网切（）是日本流传的妖怪之一。也叫做网剪。
概述.
根据鸟山石燕的「画图百鬼夜行」(1776)的记载，网切有著鸟喙一般尖尖的嘴，像螃蟹一样具备强而有力的大螯，像虾子一样弓著背。在蚊虫肆虐的夏季里，网切会潜入卧房用尖锐的大螯将防蚊的蚊帐剪破。
张荣坤

张荣坤，一说1968年出生，中国企业家，江苏苏州人。
生平.
张小学就读于丁家巷小学，初中就读于苏州市第五中学，高中就读于苏州市第二十一中学。张声称其毕业于华东师范大学金融专业，获硕士学位，但未获证实。（）相反，在21世纪经济报道的调查中，张“没有考上大学(又一说是青岛某高校肄业)，他在1993年前后，到了苏州吴县太湖度假区工作。” 
2002年，张荣坤突然崛起于上海商界，以超过32亿元的价格购得沪杭高速公路的30年经营权，其后他又购入多条高速公路的经营权，成为著名的公路大王。2005年，他以49亿元资产名列《福布斯》中国富豪榜第16位。
2006年，上海社保基金案发，张被揭发其所有资金均是违规来自上海社保基金，引发上海政坛地震。上海社保局长祝均一、宝山区区长秦裕和上海市委书记陈良宇相继落马。
2008，上海社保案核心人物、商人张荣坤案在吉林被判刑十九年，没收的资产和处理的罚金共多达十六亿元（人民币，下同）。张荣坤被控行贿及操纵证券市场等五宗罪，行贿高官达两千九百多万元，包括行贿已故政治局常委黄菊的秘书王维工九百三十三万元。2008年4月7日,一审判处19年有期徒刑。
入部

入部为汉字索引的部首之一，计二画，是康熙字典214个部首中的第11个（二划的则为第5个）。入部构字时通常位于上方或中间。一字带「入」且无其他部首时归为入部。
中国大陆出版的适用于汉语简化字的《汉字部首表》中“入”被列为人部的附形部首。一些原本归入部的汉字在简化字中「入」部件改作「人」，例如「（）」。
日本的新字体中也有不少「入」部件改作「人」，因此现代日语中归入部的汉字较少。
字形.
部首字元及变形.
文字区：
字体的具体差别.
「入」在不同的字体中设计有所不同。传统印刷体（例如《康熙字典》字体）的「」中，捺有明显的转折，而手写体的捺则较为平顺。现时采用新字形的中文简化字普遍改为类似手写体的印刷字形，而港澳台繁/正体字、日本、韩国的印刷体普遍沿用传统印刷体的形状。
由于并非所有字体库都正确处理后者字型，所以看见的字型可能并不完全与字型描述的相同。
张轨

张轨（），字士彦，安定郡乌氏县（今宁夏固原市东南彭阳县）人。西汉常山王张耳的十七世孙。西晋时任凉州刺史，是前凉政权奠定者，张寔、张茂皆为其子。314年去世，谥武公。至其曾孙张祚时，追谥为武王，庙号太祖。
生平.
早年事迹.
张轨其家世孝廉，以儒学著称。张轨年少时已聪明好学，甚有名望，曾隐居于宜阳郡的女-{几}-山上。西晋建立后入朝任官，因与中书监张华议论经籍意义和政事而深得对方的器重。张轨历任太子舍人、尚书郎、太子洗马、太子中庶子、散骑常侍，征西将军司马。
经营凉州.
晋惠帝元康元年（291年），「八王之乱」开始，天下大乱，张轨于是想占据河西之地（今甘肃西部、新疆东部一带），于是就要求调任凉州。在朝中官员的支持之下，张轨于永宁元年（301年）被任命为护羌校尉、凉州刺史。张轨到任后，使立刻领兵击败当时在凉州叛乱的鲜卑族，又消灭横行当地的盗贼，斩首万多人，从此威震西土，亦安定了凉州。张轨任用有才干的凉州大姓如宋配、阴充、泛瑗和阴澹为股肱谋主，共同治理凉州。他又劝农桑，立学校，又设与州别驾同等的崇文祭酒、春秋行乡射之礼，在凉州大行教化。
永兴二年（305年），鲜卑若罗拔能侵袭凉州，张轨派司马宋配讨伐，最终斩杀若罗拔能，并俘据十多万人，因而声名大振。晋惠帝亦因此加张轨安西将军，封安乐乡侯，邑千户。同时又大修凉州治所姑臧（今甘肃武威市）。此时，东羌校尉韩稚杀害秦州刺史张辅，张轨少府司马杨胤主张讨伐韩稚，亦劝张轨效法齐桓公主持地方，对韩稚擅杀刺史的行为予以严惩。张轨于是命中督护领二万兵讨伐，并先写信给韩稚劝降。韩稚拉到书信后就向张轨投降。张轨报告南阳王司马模后，司马模十分高兴，并将皇帝赐的剑送给张轨，并将陇西地区交给张轨管理。
尽忠晋室.
张轨始终对西晋表示忠诚，以维系民心。如太安三年（304年）河间王司马颙和成都王司马颖到洛阳讨伐掌权的司马乂，张轨亦曾派三千兵支援朝廷。永嘉二年（308年），刘渊部将王弥进攻洛阳，张轨派北宫纯、张纂、马鲂和阴濬等领兵入卫洛阳，北宫纯及后派百多名勇士突击王弥军，协助朝廷击退王弥。不久北宫纯在河东击败刘渊儿子刘聪，晋怀帝于是诏封张轨为西平郡公，但张轨辞让。西晋自八王之乱起，天下大乱，各州都不再向西晋朝廷赋贡，亦惟有张轨贡献不绝。
险失凉州.
永嘉二年（308年），张轨因患风搐而不能说话，命儿子张茂代管凉州。张越是凉州大族，听说有预言说张氏会兴盛凉州，自以为自己就是预言中的张氏，于是不惜放下梁州刺史的职务告病回凉州，更与兄长酒泉太守张镇等人合谋要除去张轨。张越兄弟意图以秦州刺史贾龛取代张轨，于是派密使到洛阳请尚书侍郎曹祛任西平太守，作为援助。张轨别驾曲晁亦意图借机弄权，派使者到长安告诉司马模，说张轨已病得不再能继续行使刺史职权，要求以贾龛代替张轨。贾龛原打算应命，但被兄长劝止。
张镇和曹祛知道贾龛拒绝应命后，再上表请求新派刺史，但未上呈就已率先以军司杜耽代领州事，让杜耽支持并表张越为新任刺史。张轨见此，打算退避，想要回到曾经隐居的宜阳，但长史王融和参军孟畅接到张镇等人以杜耽代理凉州的檄命后并不服气，决意支持张轨，于是领兵戒严，又命刚从洛阳回来的张轨长子张寔为中督护，领兵讨伐张镇。同时又派张镇甥子令狐亚游说张镇。最终张镇听从，哭著说受了误导，将事情都推给功曹鲁连，更将鲁连杀死向张寔请罪。张寔及后攻打曹祛，曹祛逃走。在王融举兵同时，武威太守张琠亦派儿子张坦到洛阳上表支持张轨；而治中杨澹亦到长安向司马模控诉张轨被诬，令司马模上表停止选调新任刺史。张坦到洛阳后，晋怀帝慰劳张轨，又下令诛杀曹祛。张轨知道后十分高兴，又命张寔领兵三万讨伐曹祛，最终将曹祛击败并杀死。
张轨及后命治中张阆送五千义兵和大量物资到洛阳。永嘉五年（311年）光禄大夫傅祗和太常挚虞及后写信给张轨说洛阳物资缺乏，张轨又立刻派参军杜励进献五百匹马和毡布三万匹。晋怀帝于是进拜张轨为镇西将军、都督陇右诸军事，封霸城侯，并进车骑将军、开府仪同三司。但使者还未到，王弥就再次进逼洛阳，张轨派将军张斐、北宫纯和郭敷等率五千名精锐骑兵保卫洛阳，但洛阳最终都被汉国大将刘曜攻克。
奠基前凉.
永嘉之乱后，洛阳和长安两大重镇都先后被汉国军队攻陷，中原和关中地区的很多百姓流入凉州避难，张轨在姑臧西北置武兴郡；又分西平郡（今青海西宁市）界置晋兴郡以收容流民。同时，张轨亦继续支持西晋，晋怀帝被掳到平阳后，张轨曾打算倾一州之力进攻平阳。不久秦王司马邺入关，张轨又派兵支持。次年司马邺被拥立为皇太子，张轨获拜骠骑大将军、仪同三司，张轨辞让。同时张轨又协助消灭在附近地区叛乱的势力，如秦州刺史裴苞、西平郡的曲恪、鞠儒等。司马邺及后再度任命，但张轨亦再次辞让。
永嘉七年（313年），晋怀帝被杀，司马邺继位为晋愍帝，并升张轨为司空，张轨再辞让。同时又听从索辅的建议，复铸五铢钱，恢复境内的钱币流通，大大便利了当地人的生活，不必再以布匹作货币。同时，刘曜进逼长安，张轨又派参军曲陶领三千兵入卫长安。
建兴二年（314年），晋愍帝任命张轨为侍中、太尉、凉州牧，封西平公，但张轨仍然辞让。五月己丑日，张轨病死，享年六十岁，谥曰武公。张轨的亲信部下及后拥立张轨长子张寔继任凉州刺史之职。
陵墓.
张轨墓在今凉州区境内，史称“建陵”，前凉国主的陵墓位置，学术界有三种推测：陵墓上方筑台，在雷台之下；或依照汉制，重臣死后多陪葬君主墓旁，根据已出土的“梁舒墓”的方位，可能在今武威城西北太平滩一带；或因山为陵，可能在武威城南祁连山山坡地带，学术界倾向于雷台为前凉王陵。
冯志超

冯志超（），本籍江南长洲，吏员出身，亦曾任内阁供事，是中国清朝官员，于1697年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。
查克成

查克成（），本籍顺天府大兴县，是中国清朝官员。
吏员出身。于1714年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。
耶律普速完

耶律普速完（）是辽仁宗耶律夷列的妹妹，为西辽第四任统治者。仁宗在1163年死后，其子尚年幼，遗诏由其妹耶律普速完权理国事，临朝称制，并改元崇福，号承天太后，菊儿汗。
耶律普速完在位期间，契丹帝国开始新一轮军事扩张。崇福三年冬（1165年），西辽军队同西喀喇汗国攻占了呼啰珊地区乌古斯人的八剌黑和安德胡伊。
崇福九年（1172年），西辽军队向西进攻停止纳贡的花剌子模王朝沙阿伊尔·阿尔斯朗，大破花剌子模军并生擒统帅，阿尔斯朗病死。花剌子模由此陷入阿尔斯朗的儿子对统治权的争斗。承诺重启对西辽的纳贡后，在耶律普速完丈夫萧朵鲁不军队的支持下，阿尔斯朗长子塔乞失战胜弟弟苏丹·沙赫成为花剌子模沙阿。1174年，得知花剌子模再次拒绝纳贡并斩杀西辽使团（塔乞失扬言杀尽国内的西辽人）后，耶律普速完扶植苏丹·沙赫占领花剌子模东半部。
她与丈夫之弟萧朴古只私通，把丈夫改封为东平王，后来又杀了他。崇福十四年（1177年），萧朵鲁不之父萧斡-{里}-剌以兵围其宫，射杀普速完及朴古-{只沙里}-。仁宗子耶律直鲁古即位，是为西辽末帝。
中国历朝的临朝称制，皆为皇太后、皇后在君主因故无法理朝时的一种权宜之计（也有例外，如武则天曾与唐高宗并称二圣并临朝听政），但耶律普速完是中国历史上唯一一个以先朝公主与当朝君主姑母的身分临朝称制者，可为前无古人、后无来者。耶律普速完称制时，又更改年号，在实质意义上已经得到等同君王的待遇和地位。
张鼎 (吴县)

张鼎（），江南吴县人，监生出身，清朝政治人物。
生平.
1726年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。
涂逢年

涂逢年（），本籍直隶平谷，监生出身，是中国清朝官员，于1730年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。
张世荣 (清朝)

张世荣（），本籍顺天大兴，监生出身，是中国清朝官员，于1733年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。
冯五美

冯五美（），本籍浙江山阴，监生出身，是中国清朝官员，于1740年上任新港巡检，隶属于台湾道台湾府，为台湾清治时期的地方官员，该官职主要从事新港之管理事务。
耶律直鲁古

耶律直鲁古（），是西辽皇帝耶律夷列的次子，史称辽末主。
生平.
国势日衰.
直鲁古摄政的姑姑承天太后普速完在崇福十四年（1177年）被杀，耶律直鲁古即位，改元天喜（辽史记「天禧」，根据出土钱币或为「天喜」）。政变时他也杀死了他的兄弟，根据志费尼的说法，“他是为了夺得皇位而牺牲的”。
他在位期间西辽逐渐衰败，为了帮助属国花剌子模对抗古尔王朝，西辽二次派兵援助花剌子模，然而西辽军先胜后败，西辽损失惨重。在古尔王朝覆灭后，以花剌子模为首的众多属国也脱离了契丹人的控制；1198年，花剌子模塔乞失攻占原西喀喇汗国首都布哈拉。1206年，花剌子模的摩诃末沙利用河中地区百姓起义的时机，联合西喀喇汗反辽，但被西辽打败。西喀喇汗奥斯曼向耶律直鲁古的女儿求婚，但遭到拒绝，于是再转向花剌子模。1209年，东部的附庸国高昌回鹘杀死西辽的少监投靠成吉思汗。1210年，花剌子模再次出兵攻打西辽，并在怛逻斯附近打败西辽军队，并俘虏了其主帅塔阳古。从此摩诃末沙威名大震。1211年，葛逻禄首领阿尔斯兰汗投奔成吉思汗。而一向恭顺的附庸国东喀喇汗也起兵造反，西辽不得不出兵镇压，俘虏了东喀喇汗的首领穆罕默德，并囚禁于虎思斡耳朵，才稳定住局势。
被逼退位.
乃蛮王子屈出律于1208年流亡至西辽，辽末主耶律直鲁古不仅信任他还将女儿嫁给他。天喜三十四年（1211年），屈出律以伏兵八千擒直鲁古，强迫辽末主直鲁古让位，尊他为太上皇，皇后为皇太后。1213年，辽末主直鲁古去世。1218年，蒙古攻西辽，杀屈出律，西辽亡。
天城级巡洋战舰

天城级战列巡洋舰（）是大日本帝国海军“八八舰队”计划的主力舰之一。
概述.
天城级战斗巡洋舰是在长门级战列舰的舰体基础上加装一座双联装主炮，炮塔布置与加贺级战列舰相似，可以说是加贺级的轻装甲快速型，减薄装甲，舷侧装甲带采用倾斜式设计，取消了以往日本战舰水平装甲延伸到舷侧水线以下的“穹甲结构”。副炮全部都在同一层甲板。同型舰原计划开工建造四艘：天城号、赤城号、爱宕号、高雄号。
根据《华盛顿海军条约》规定天城级战列巡洋舰停工，天城号和赤城号按照条约的规定（可以将两艘未完工的主力舰舰体改建为航空母舰）预备改建成航空母舰，爱宕号、高雄号则中止建造，解体拆毁。爱宕、高雄两舰名为后来的高雄型重巡洋舰使用。
一号舰天城号舰体在横须贺工厂改装过程中于1923年的日本关东大地震中被破坏，龙骨严重变形扭曲只得报废解体，改装工程由加贺号接替。
二号舰赤城号改建为赤城号航空母舰。
尖叶长舌蝠属

尖叶长舌蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与尖叶长舌蝠属（螫长舌蝠）同科的动物尚有铲齿蝠属（铲齿蝠）、窄齿长舌蝠属（窄齿长舌蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
铲齿蝠属

铲齿蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与铲齿蝠属（铲齿蝠）同科的动物尚有狭叶蝠属（狭叶蝠）、尖叶长舌蝠属（螫长舌蝠）、窄齿长舌蝠属（窄齿长舌蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
狭叶蝠属

狭叶蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与狭叶蝠属（狭叶蝠）同科的动物尚有黄花蝠属（黄花蝠）、铲齿蝠属（铲齿蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
黄花蝠属

黄花蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与黄花蝠属（黄花蝠）同科的动物尚有花蝠属（古巴花蝠）、狭叶蝠属（狭叶蝠）等之数种哺乳动物。
花蝠属

花蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与花蝠属（古巴花蝠）同科的动物尚有长鼻蝠属（南美长鼻蝠）、黄花蝠属（黄花蝠）等之数种哺乳动物。
下属物种.
花蝠亚属（Phyllonycteris）
亚属: "Reithronycteris"
长鼻蝠属

长鼻蝠属（南美长鼻蝠）（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与长鼻蝠属（南美长鼻蝠）同科的动物尚有长吻蝠属（小长吻蝠）、墨西哥长吻蝠属（墨西哥长吻蝠）、长舌叶口蝠亚科）、花蝠属（古巴花蝠）等之数种哺乳动物。
墨西哥长吻蝠属

墨西哥长吻蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与墨西哥长吻蝠属（墨西哥长吻蝠）同科的动物尚有长舌叶鼻蝠属（长吻长舌叶鼻蝠）、长吻长舌蝠属（长吻长舌蝠）、长吻蝠属（小长吻蝠）、长鼻蝠属（南美长鼻蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
长舌蝠属

长舌蝠属（学名：），哺乳纲翼手目叶口蝠科的一属哺乳动物。
下属物种.
本属包括以下物种：
长吻长舌蝠属

长吻长舌蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与长吻长舌蝠属（长吻长舌蝠）同科的动物尚有索热尔长舌蝠属（白长舌蝠）、长齿长舌蝠属（暗色长齿长舌蝠）、长舌叶鼻蝠属（长吻长舌叶鼻蝠）、墨西哥长吻蝠属（墨西哥长吻蝠）等之数种哺乳动物。
索热尔长舌蝠属

索热尔长舌蝠属（白长舌蝠）（学名：），为哺乳纲、翼手目、叶口蝠科的一属哺乳动物。
长齿长舌蝠属

长齿长舌蝠属（暗色长齿长舌蝠）（学名：），为哺乳纲、翼手目、叶口蝠科的一属哺乳动物。
下属物种.
本属包括以下物种：
安德列斯长舌蝠属

安德列斯长舌蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与安德列斯长舌蝠属（小安德列斯长舌蝠）同科的动物尚有蕉蝠属（蕉蝠）、鼓颏长舌蝠属（鼓颏长舌蝠）、长齿长舌蝠属（暗色长齿长舌蝠）、索热尔长舌蝠属（白长舌蝠）等之数种哺乳动物。
蕉蝠属

蕉蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与蕉蝠属（蕉蝠）同科的动物尚有鼓颏长舌蝠属（鼓颏长舌蝠）、安德列斯长舌蝠属（小安德列斯长舌蝠）、长齿长舌蝠属（暗色长齿长舌蝠）等之数种哺乳动物。
蕉蝠最明显的特征是拥有极长的鼻子。它们还有很长的舌头，可伸长至体长的三分之二。有时它们也会吃昆虫，并把昆虫与花粉一起食用。在吸食花蜜时，它们的脸部和颈部的毛发会沾上一些花粉，而花粉就会传到它们下一个取食的植物，便能充当植物之间的授粉者。它们会进行短暂的季节性迁移，以寻找有开花的植物。
鼓颏长舌蝠

鼓颏长舌蝠（学名：），哺乳纲、翼手目、叶口蝠科的鼓颏长舌蝠属下的唯一物种。与鼓颏长舌蝠属（鼓颏长舌蝠）同科的动物尚有、短尾叶鼻蝠属（短尾叶鼻蝠）、蕉蝠属（蕉蝠）、安德列斯长舌蝠属（小安德列斯长舌蝠）等之数种哺乳动物。
基本子结构

在模型论，给定在同一个语言 formula_1 中的两个结构 formula_2 和 formula_3，我们称 formula_2 是 formula_3 的基本子结构（）如果
1. formula_2 是 formula_3 的子结构，且
2. 对于所有有限元组 formula_8，对于所有语言 formula_1 的公式 formula_10，我们有 formula_11 当且仅当 formula_12。
我们称 formula_3 是 formula_2 的基本扩展当且仅当 formula_2 是 formula_3 的基本子结构。
等价条件.
有时对第二个条件使用一个等价的陈述。我们可以通过对所有 formula_17 增加一个常量符号 formula_18 来扩展 formula_1 为一个新语言 formula_20。那么 formula_2 和 formula_3 是解释每个 formula_18 为 formula_24 的 formula_20 的结构。
设 formula_26 和 formula_27 分别是在 formula_2 和 formula_3 中为真的 formula_20-句子的集合(称为它们的“基本图”)。那么上述条件 (2) 等价于陈述
塔斯基-沃特测试是给定一对 formula_32，确定 formula_2 是否是 formula_3 的基本子结构的非常有用的必要和充分条件。
叶吻蝠属

叶吻蝠属（学名：），为哺乳纲翼手目叶口蝠科的一属哺乳动物。
掠果蝠属

掠果蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与掠果蝠属（掠果蝠）同科的动物尚有美洲林蝠属（美洲林蝠）、食果蝠属（食果蝠）、叶吻蝠属（真叶吻蝠）等之数种哺乳动物。
66号美国国道

66号美国国道（，又译为美国66号公路），又名美国大街（）、母亲之路（）或威尔·罗杰斯公路（，命名自美国谐星），是美国历史上主要的交通要道之一。国道66号始建于1926年11月，由芝加哥一路连贯到洛杉矶。途经伊利诺州、密苏里州、堪萨斯州、奥克拉荷马州、德克萨斯州、新墨西哥州、亚利桑那州，最终抵达加利福尼亚州洛杉矶县的圣莫妮卡，全长。在州际公路兴起之后重要性逐渐被取代，利用率因而降低，而在1985年6月27日被正式从美国国道系统中删除。它原来经过伊利诺州、密苏里州、新墨西哥州和亚利桑那州的部分道路被划为国家风景道路，称作「66号历史道路」（）。有几个州将原来66号国道的部分路段纳入州内公路系统，并仍然使用66号公路的编号和标志.
历史.
兴起.
尽管美国66号公路直到1938年才铺设完成，一般认为它是在1926年4月30日于密苏里州的-{zh-hans:斯普林菲尔德;zh-hk:春田;zh-tw:春田;}-诞生的。而在1927年，66号公路是美国最早的法律上认定的几条公路编号之一。美国66号公路的大多路段平稳好走，因此往来旅客甚多，尤其深受卡车司机的青睐。
路线变化.
美国66号公路多处路段曾经经历了重大的变化。
1930年，在伊利诺伊州-{zh-hans:斯普林菲尔德;zh-hk:春田;zh-tw:春田;}-和东圣路易之间，66号公路被转移往更东边到大约现在55号州际公路（I-55）的地方，而原驶路线大致是循著目前伊利诺伊州4号公路（IL-4）。
1940年，洛杉矶的第一条高速公路（Arroyo Seco Parkway）被纳入了66号公路，这段就是后来著名的。
1953年，通过黑山地区的奥特曼公路完全被亚利桑那州金曼和加州尼德尔斯之间的新公路取代。到1960年代，亚利桑那州奥特曼几乎成为被废弃的鬼镇。
自1950年代以来，随著众多州际公路的兴建，66号公路逐渐变成为州际公路的备援替代道路，甚至它的道路编号也被移转取代。而在1965年颁布的公路美化法案（Highway Beautification Act）严格限制了在新的州际公路旁设立广告招牌，使得在旧66号公路上的商家更不容易招揽到生意，使得这些商家不得不结束营业，66号公路也因而愈加荒凉。
66号公路在经过大城市时，会围绕它的周边通过以避开市中心的繁忙交通，例如伊利诺伊州的-{zh-hans:斯普林菲尔德;zh-hk:春田;zh-tw:春田;}-、密苏里州的圣路易、罗拉、，以及奥克拉荷马市。
衰落.
美国66号公路使命的终结，始于1956年艾森豪总统大力推动的《州际公路法案》。1919年作为一名年轻军官时的经历深深影响了他，因此他十分期望美国也能拥有像德国一样便捷的高速公路，并认为这是国家保卫系统中必不可少的一环。
1960年代后期，随著州际公路的修建和投入使用，越来越多的人乐于享受更快速便捷的交通网络，66号公路逐步遭到遗弃，不再被使用。1985年，被正式废除。
废除之后.
一些路段变为州内公路，一些成为地方公路，还有一些沦为私人车道，甚至直接被遗弃。尽管完整不间断地从芝加哥经66号公路开车去洛杉矶早已成为过去，但许多原先的线路以及替代线路还是可以通车的。
另外，即使作为州内公路，在一些地方人们依然沿用了它的“66”这个名字，一些国道以及分布于老公路周围的市内道路也保留著“66”这个数字。
复兴.
从1987年开始，各种关于66号公路的团体、协会陆续成立。1990年，密苏里州宣布此路为“州历史公路”。许多当地群体甚至直接把有关于“66”的图案印在路面上，还有一些人努力去保存66号公路边的老汽车旅馆和霓虹灯。1999年，克林顿总统签署了国家66号公路保护法案，拨款1千万美金作为基金，用以保护、修复分布于公路不同路段有历史价值的景点。经过各方努力，原本已经消失的美国66号公路，又重新回到了地图上。
线路介绍.
加利福尼亚州.
66号公路的西端终点处于加利福尼亚州圣塔莫尼卡的太平洋海岸公路。它在加利福尼亚州横跨，并沿途与美国101国道以及加利福尼亚5号、15号、40号洲际公路相交。
亚利桑那州.
在亚利桑那州的路段有，在许多路段上与40号州际公路平行，穿越托泊克峡（Topock-Gorge），经过鬼镇奥特曼 。而在金曼和赛里格曼之间的道路，仍被标示为亚利桑那州66号公路（）。
新墨西哥州.
在新墨西哥州的路段有，西半段经过数个 ，东段经过大城阿布奎基和圣塔菲。如同在亚利桑那州一样，新墨西哥州的这段公路也大致与40号洲际公路平行。
德克萨斯州.
66号公路穿过德州北缘，全长，这里也是整条公路的中间点。
奥克拉荷马州与堪萨斯州.
66号公路在奥克拉荷马州跨越了，在奥克拉荷马市以西被标示为40号州际公路，奥克拉荷马市以东则为奥克拉荷马州66号公路（）。再往东边就进入堪萨斯州，这段路全长只有。
密苏里州.
在这一路段全长，经过了乔普林、-{zh-hans:斯普林菲尔德;zh-hk:春田;zh-tw:春田;}-以及圣路易。途中会经过－世界上第一家得来速（音译自 Drive-thru）服务商店。
伊利诺州.
66号公路跨越密西西比河在东圣路易进入伊利诺州，在州境内全长，经过卡霍基亚遗址－美国仅有的21个世界遗产中的一个，并经伊利诺州首府春田市 ，最后进入芝加哥抵达密西根湖畔，这里是66号公路的东端终点。
美洲林蝠属

美洲林蝠属（美洲林蝠）（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与美洲林蝠属（美洲林蝠）同科的动物尚有食果蝠属（食果蝠）、美洲果蝠属（灰美洲果蝠）、掠果蝠属（掠果蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
食果蝠属

食果蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与食果蝠属（食果蝠）同科的动物尚有美洲果蝠属（灰美洲果蝠）、襞面蝠属（襞面蝠）、美洲林蝠属（美洲林蝠）、掠果蝠属（掠果蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
美洲果蝠属

美洲果蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与美洲果蝠属（灰美洲果蝠）同科的动物尚有襞面蝠属（襞面蝠）、大眼蝠属（多毛大眼蝠）、食果蝠属（食果蝠）、美洲林蝠属（美洲林蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
襞面蝠属

襞面蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与襞面蝠属（襞面蝠）同科的动物尚有大眼蝠属（多毛大眼蝠）、白蝠属（白蝠）、美洲果蝠属（灰美洲果蝠）、食果蝠属（食果蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
大眼蝠属

大眼蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与大眼蝠属（多毛大眼蝠）同科的动物尚有白蝠属（白蝠）、间叶蝠属（间叶蝠）、襞面蝠属（襞面蝠）、美洲果蝠属（灰美洲果蝠）等之数种哺乳动物。
下属物种.
本科包括以下属：
白蝠属

白蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与白蝠属（白蝠）同科的动物尚有间叶蝠属（间叶蝠）、食花蝠属（食花蝠）、大眼蝠属（多毛大眼蝠）、襞面蝠属（襞面蝠）等之数种哺乳动物。
下属分类.
本科包括以下属：
间叶蝠属

间叶蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与间叶蝠属（间叶蝠）同科的动物尚有食花蝠属（食花蝠）、白线蝠属（白线蝠）、白蝠属（白蝠）、大眼蝠属（多毛大眼蝠）等之数种哺乳动物。
下属分类.
本科包括以下属：
食花蝠属

食花蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与食花蝠属（食花蝠）同科的动物尚有白线蝠属（白线蝠）、尾翼果蝠属（尾翼果蝠）、间叶蝠属（间叶蝠）、白蝠属（白蝠）等之数种哺乳动物。
下属分类.
本科包括以下属：
白线蝠属

白线蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与白线蝠属（白线蝠）同科的动物尚有尾翼果蝠属（尾翼果蝠）、南美毬果蝠属（南美毬果蝠）、食花蝠属（食花蝠）、间叶蝠属（间叶蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
尾翼果蝠属

尾翼果蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与尾翼果蝠属（尾翼果蝠）同科的动物尚有南美毬果蝠属（南美毬果蝠）、红果蝠属（红果蝠）、白线蝠属（白线蝠）、食花蝠属（食花蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
参考文献.
南美毬果蝠属

南美毬果蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与南美毬果蝠属（南美毬果蝠）同科的动物尚有红果蝠属（红果蝠）、黄肩蝠属（黄肩蝠）、尾翼果蝠属（尾翼果蝠）、白线蝠属（白线蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
红果蝠属

红果蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与红果蝠属（红果蝠）同科的动物尚有黄肩蝠属（黄肩蝠）、筑帐蝠属（筑帐蝠）、南美毬果蝠属（南美毬果蝠）、尾翼果蝠属（尾翼果蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
黄肩蝠属

黄肩蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与黄肩蝠属（黄肩蝠）同科的动物尚有筑帐蝠属（筑帐蝠）、黄耳蝠属（大黄耳蝠）、红果蝠属（红果蝠）、南美毬果蝠属（南美毬果蝠）等之数种哺乳动物。
下属物种.
黄肩蝠属的物种如下：
筑帐蝠属

筑帐蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与筑帐蝠属（筑帐蝠）同科的动物尚有黄耳蝠属（大黄耳蝠）、大纹面蝠属（大纹面蝠）、黄肩蝠属（黄肩蝠）、红果蝠属（红果蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
黄耳蝠属

黄耳蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与黄耳蝠属（大黄耳蝠）同科的动物尚有大纹面蝠属（大纹面蝠）、筑帐蝠属（筑帐蝠）、黄肩蝠属（黄肩蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
大纹面蝠属

大纹面蝠属（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与大纹面蝠属（大纹面蝠）同科的动物尚有吸血蝠属（吸血蝠）、黄耳蝠属（大黄耳蝠）、筑帐蝠属（筑帐蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
参考文献.
吸血蝠属

吸血蝠属（）为翼手目叶口蝠科吸血蝠亚科下的一属，其他分类于同亚科的演化支包括白翼吸血蝠属及毛腿吸血蝠属，是以血液为生的新世界蝙蝠。
于1826年前往巴西探险时发现了新种"Desmodus rufus"，并将该新种分类至新属吸血蝠属（"Desmodus"）下做为模式种，然而该模式种于1810年就已经由以学名「"Phyllostoma rotundus"」发表。
长腿蝠属

长腿蝠属（学名：），哺乳纲、翼手目、长腿蝠科的一属。
四指蝠属

四指蝠属（四指蝠）（学名：），
，哺乳纲、翼手目、烟蝠科的一属，而与四指蝠属（四指蝠）同科的动物尚有烟蝠属（烟蝠）。
烟蝠属

烟蝠属（烟蝠）（学名：），哺乳纲、翼手目、叶口蝠科的一属，而与烟蝠属（烟蝠）同科的动物尚有四指蝠属（四指蝠）。
盘翼蝠属

盘翼蝠属（学名：），是哺乳纲、翼手目、蝙蝠科的一属哺乳动物。
下属物种.
本属包括以下物种：
子结构

在数学学科模型论中，某个其他模型的子模型或子结构是满足与最初模型同样关系的更小的模型。
形式定义如下。设 formula_1 和 formula_2 是同一个语言 formula_3 的两个模型。我们称
formula_1 是 formula_2 的子模型(通常表示为 "M" ⊂ "N") (等价的说，formula_2 是 formula_1的扩展)当且仅当 
比如 (Q, +, ×, &lt;, 0, 1) 是 (R, +, ×, &lt;, 0, 1) 的子模型。
在语言的模型的范畴中，子模型将是子对象。
长腿蝠科

长腿蝠科（学名：），又称筒耳蝠科，是哺乳纲翼手目的一科，包含3属10种，全部分布于中南美洲。
彩蝠属

彩蝠属（学名：），翼手目蝙蝠科的一属，而与彩蝠属同科的动物尚有洞蝠属（苍白洞蝠）等之数种哺乳动物。
分类.
本属已知22个物种如下：
洞蝠属

洞蝠属（学名：），哺乳纲、翼手目、蝙蝠科的一属哺乳动物，生存在亚洲。
下属物种.
本科包括以下属：
蝶蝠属

蝶蝠属（学名：），为哺乳纲、翼手目、蝙蝠科的一属哺乳动物。
棕蝠属

棕蝠属（学名：），为哺乳纲、翼手目、蝙蝠科的一属哺乳动物。
下属物种.
本属包括以下物种：
花尾蝠属

花尾蝠属（花尾蝠）（学名：），为哺乳纲、翼手目、蝙蝠科的一属哺乳动物。
胼足蝠属

胼足蝠属（胼足蝠）（学名：），哺乳纲、翼手目、蝙蝠科的一属哺乳动物。
盘蝠属

盘蝠属（学名：），为哺乳纲、翼手目、蝙蝠科的一属哺乳动物。
下属物种.
本属包括以下物种：
梓蝠属

梓蝠属（学名：），为哺乳纲、翼手目、蝙蝠科的一属哺乳动物。
南蝠属

南蝠属（学名：），哺乳纲、翼手目、蝙蝠科的一属，而与南蝠属（南蝠）同科的动物尚有蝙蝠属（大蝙蝠）、帆耳蝠属（帆耳蝠）、梓蝠属（梓蝠）等之数种哺乳动物。
南蝠属只剩南蝠（）一个现存物种，另有一个生存于中新世、在泰国地层中发现化石物种兰纳南蝠（）。南蝠的学名是国际动物命名法规认证的最短的名字之一。
下属物种.
本属包括以下物种：
蝙蝠属

蝙蝠属（学名：），哺乳纲、翼手目、蝙蝠科的一属，而与蝙蝠属（大蝙蝠）同科的动物尚有、毛翼管鼻蝠属（毛翼管鼻蝠）、南蝠属（南蝠）、帆耳蝠属（帆耳蝠）等之数种哺乳动物。
下属物种.
本属包括以下物种：
毛翼管鼻蝠属

毛翼管鼻蝠属（学名：），为哺乳纲、翼手目、蝙蝠科的一属哺乳动物。
下属物种.
本属包括以下物种：
管鼻蝠属

管鼻蝠属（学名：），为哺乳纲、翼手目、蝙蝠科的一属哺乳动物。
下属物种.
本属包括以下物种：
长翼蝠属

长翼蝠属（学名：）是哺乳纲翼手目长翼蝠科的一属。
下属物种.
根据Biolib中的数据，本属目前包含以下34种：
锥蝠属

锥蝠属（锥蝠）（学名：），哺乳纲、翼手目、蝙蝠科的一属，而与锥蝠属（锥蝠）同科的动物尚有裂豆蝠亚科）、长翼蝠属（长翼蝠）等之数种哺乳动物。
非洲犬吻蝠属

非洲犬吻蝠属（学名：），哺乳纲、翼手目、犬吻蝠科的一属，而与非洲犬吻蝠属（加纳犬吻蝠）同科的动物尚有裸蝠属（裸蝠）、真蝠属（大真蝠）等之数种哺乳动物。
裸蝠属

裸蝠属（学名：），为哺乳纲、翼手目、犬吻蝠科的一属，而与裸蝠属（裸蝠）同科的动物尚有真蝠属（大真蝠）、加勒比海犬吻蝠属（秘鲁犬吻蝠）、非洲犬吻蝠属（加纳犬吻蝠）等之数种哺乳动物。
犬吻蝠科

犬吻蝠科（学名：）是哺乳纲翼手目的一科，而犬吻蝠科辖下则有真蝠属（大真蝠）、加勒比海犬吻蝠属（秘鲁犬吻蝠）、獒蝠属（獒蝠）、裸蝠属（裸蝠）、非洲犬吻蝠属（加纳犬吻蝠）等等之数种哺乳动物。
下级分类.
本科包括以下属：
真蝠属

真蝠属（学名：），为哺乳纲、翼手目、犬吻蝠科的一属哺乳动物。
下属物种.
本属包括以下物种：
加勒比海犬吻蝠属

加勒比海犬吻蝠属（学名：），是哺乳纲、翼手目、犬吻蝠科的一属哺乳动物。
下属物种.
本属包括以下物种：