laion/Wikipedia-Exotic huggingface dataset:
審判者阿里瑟姆

「審判者」阿里瑟姆（英語：Arishem the Judge）是出自漫威漫畫的虛構角色。首次登場於《永恆族（英语：Eternals (comics)）》第2期 (1976年8月)，由杰克·科比所創作。 阿里瑟姆是少數有權及有能力判斷哪個星球的文明能生存或滅亡的天神族。其職責為天神族登陸隊伍的領袖，負責領導天神族所有的四大宿主到地球上。 在漫威電影宇宙中，2021年電影《永恆族》由大衛·凱伊（英语：David Kaye (voice actor)）聲演。 「審判者」阿里瑟姆首次出現於《永恆族（英语：Eternals (comics)）》第2期 (1976年8月)，由杰克·科比所創作。 阿里瑟姆與「天神族第四代宿主」一同抵達地球。在他對地球進行審判的第50年間，他首次被人類目睹。在「天神族第三代宿主」期間，他接受了地球眾神不干涉天神族事務的誓言。後來，他在位於秘魯的其他「天神族第四代宿主」成員的見證下，審判地球為夠格的星球，並離開了地球。 阿里瑟姆帶領着「天神族第四代宿主」來到名為「潘戈利亞」（英語：Pangoria）的星球，並審判此星球不值得任何生命的存在。於是，他與其天神族同伴希塔爾（英語：Exitar）開始了淨化過程，把潘戈利亞變成一個虛擬的天堂。 其後，阿里瑟姆抵達了一個X基因（英语：X-Factor (comics)）已消失了一段時間的遙遠星球進行審判，卻受到了被選中者、拒絕者和重啟者（英語：the Chosen, Rejects and Beginagains）三個派系的聯合攻擊。以對應是次襲擊，他允許此星球能繼續生存，使天神族得以離開。 阿里瑟姆在庫比克（英语：Kubik (comics)）和超越者（英語：Kosmos）展開存在位面之旅期間現身在他們面前。阿里瑟姆後來摧毀了一顆未命名的星球，並碰上渦旋（英语：Maelstrom (comics)）。阿里瑟姆與觀察者、行星吞噬者、瑞久人（英语：Rigellians (Marvel Comics)） 和伊蘭族（英语：List of alien races in Marvel Comics#Elan） 一同見證類星體（英语：Quasar (comics)）和渦旋的最終決戰。 億萬年前，阿里瑟姆利用細菌創造了弟兄族（英語：Brethren），並僱用它們摧毀不夠格的星球，卻後來將它們釋放。 阿里瑟姆帶領「天神族第五代宿主」前往一顆位於遙遠銀河系中的未命名星球[來源請求]。 他也是在未知的銀河系向觀察者發動戰爭的天神族代表首領[來源請求]。 與其他天神族一樣，阿里瑟姆的能力深不可測，其體力的水平為未知之數，無法估量的。 漫威電影宇宙：由大衛·凱伊（英语：David Kaye (voice actor)）聲演「審判者」阿里瑟姆。 《永恆族》（2021年） ：阿里瑟姆是一名至尊天神族，因創造了第一個太陽並為宇宙帶來光明而受到讚譽。他的目的是通過犧牲較低級的生命體來擴大宇宙。數百萬年前，阿里瑟姆創造了變異族（英语：Deviant (comics)），以幫助天神族的誕生，但其創造物卻變得失控，阿里瑟姆便創造了永恆族（英语：Eternals (comics)），以消滅干擾其計劃的變異族。阿里瑟姆將永恆族送到地球，以確保天神族蒂亞穆（英语：Tiamut）能順利誕生，並直接與地球上的艾賈克（英语：Ajak）交流。在她死於變異族之手後，他轉而與瑟希取得聯繫，告知她永恆族的主要任務並不是對付變異族，而是協助準備「神現」，而永恆族來自奧林匹亞星球也是不正確的。然而，永恆族因逐漸依附於地球，因此努力阻止「神現」的出現以防止人類滅亡。在「神現」受到阻止後，阿里瑟姆突然現身帶走瑟希、金勾和費斯托斯（英语：Phastos），指控他們違抗命令，需要接受審判，並通過研究他們的記憶，判斷人類是否值得保留。 DeFalco, Tom; Sanderson, Peter; Brevoort, Tom; Teitelbaum, Michael; Wallace, Daniel; Darling, Andrew; Forbeck, Matt; Cowsill, Alan; Bray, Adam. The Marvel Encyclopedia. DK Publishing. 2019: 15. ISBN 978-1-4654-7890-0.  參見《永恆族》（Eternals）第2期 參見《永恆族》（Eternals）第7期 參見《雷神索爾》（Thor）第300期 參見《神威索爾》（Mighty Thor）第387-389期 參見《X基因》（X-Factor）第50期 參見《驚奇4超人年刊》（Fantastic Four Annual）第23期 參見《類星體》（Quasar）第24期 參見《類星體》（Quasar）第25期 參見《復仇者聯盟》（Avengers）第339期 Cecchini, Mike. Marvel's Eternals Trailer Finally Reveals Celestials and Deviants, But Not Galactus. Den of Geek. August 19, 2021 [August 19, 2021]. （原始内容存档于August 19, 2021）.  Goldstone, Ruby. ETERNALS: The Actor Who Voices Arishem The Celestial Has Been Revealed. ComicBookMovie. October 27, 2021 [October 29, 2021]. （原始内容存档于2021-10-27）.  審判者阿里瑟姆 （页面存档备份，存于互联网档案馆）at Marvel Wiki
杰梅·科默

杰梅·科默（英語：Jaime Komer，1981年9月1日—），旧姓希普（Hipp），美国女子水球运动员。她曾代表美国国家队参加2008年夏季奥林匹克运动会女子水球比赛，获得一枚银牌。 Jaime Hipp. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
帕蒂·卡德纳斯

帕蒂·卡德纳斯（英語：Patty Cardenas，1984年8月19日—），美国前女子水球运动员。她曾代表美国国家队参加2008年夏季奥林匹克运动会女子水球比赛，获得一枚银牌。 Patty CARDENAS. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
布里塔妮·海斯

布里塔妮·海斯（英語：Brittany Hayes，1985年2月7日—），美国女子水球运动员。她曾代表美国国家队参加2008年夏季奥林匹克运动会水球比赛，结果队伍获得一枚银牌。 Brittany HAYES. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
王天祥 (武警)

王天祥、男、中共黨員、中國大陸政治、軍事人物、中國人民武裝警察部隊少將，一直任职于武警部隊政治工作部門。 先後出任武警西藏总队政治部主任、武警海南总队政治委员 四天内十省份武警总队主官调整，涉津琼陕辽皖甘藏豫青湘. [2022-07-28]. （原始内容存档于2022-07-28）.  武警海南省总队吹响新年度实战化军事训练号角. [2022-07-28]. （原始内容存档于2020-08-07）.  武警西藏总队政治部主任王天祥调任武警海南省总队政治委员. [2022-07-28]. （原始内容存档于2022-07-28）.  接棒雷万军 王天祥任武警海南总队. [2022-07-28]. （原始内容存档于2022-07-26）.  6天內12省武警主官調整涉及13人. [2022-07-28]. （原始内容存档于2017-07-02）.
莫里娅·范诺曼

莫里娅·范诺曼（英語：Moriah van Norman，1984年5月30日—），美国女子水球运动员。她曾代表美国国家队参加2008年夏季奥林匹克运动会女子水球比赛，结果获得一枚银牌。 Moriah VAN NORMAN. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
豪歌空谷

豪歌空谷（英語：Hoggs Hollow）是加拿大安大略省多倫多北約克的一個住宅社區。它位於當河谷（Don River Valley），以央街、約妙斯道（York Mills Road）及衛信路（Wilson Avenue）的交界處為中心。 豪歌空谷以Hogg家族命名。James Hogg（1797–1839）是蘇格蘭人，於1824年在該地區定居。他經營著一家威士忌酒廠和一家穀物磨坊，被視為山谷中最成功的磨坊主。這個社區的名字通常不帶撇號寫成Hoggs Hollow，但有時亦作Hogg's Hollow。 1954年10月15日，該山谷被颶風黑茲爾淹沒，此後人們作出了許多嘗試來管理山谷自然流域的水資源，儘管許多房屋仍然容易受到地下水位的潮濕和洪水的影響。一座連接央街過河的鋼桁架橋遭到破壞，暫時以倍力橋代用，直至新橋建成。 1960年3月17日，發生了俗稱「豪歌空谷災難」（Hoggs Hollow Disaster）的事件。五名年輕的意大利移民工人在豪歌空谷修建水管隧道時被困遇難。事故的細節，他們被困在地下35英尺的狹窄、昏暗的隧道中，引發了公眾對施工缺乏安全標準的強烈抗議。強烈的示威最終促使工作條件得到改善，例如通過了《工業安全法令》（Industrial Safety Act）。 The Hogg Family. [2022-07-28]. （原始内容存档于2021-12-08）.  City of Toronto Archives. 24 August 2017 [2022-07-28]. （原始内容存档于2012-02-06）.  Hogg's Hollow neighbourhoods.net profile （页面存档备份，存于互联网档案馆） 43°44′20″N 79°24′00″W﻿ / ﻿43.739°N 79.400°W﻿ / 43.739; -79.400
城巴82線

城巴82線是香港島東區的一條巴士路線，來往小西灣（藍灣半島）及北角碼頭，提供小西灣、柴灣往返筲箕灣、西灣河、太古、鰂魚涌和北角的巴士服務，主要服務小西灣和柴灣斜居民（因該兩處沒有港鐵到達）。 本線曾經是全港服務時間最長的日間專利巴士路線－每天服務長達22.5小時。 1959年12月，中華巴士開辦一條沒有編號的路線，來往筲箕灣←→柴灣徙置區，以12座位小型巴士行走。 1961年2月8日，該無編號路線延長為太古船塢（東閘）至柴灣，柴灣總站當時設於柴灣徙置區（今永利中心所在）。 1963年5月16日，該無編號路線加開平日早上由柴灣單向往北角的特別班次。 1963年9月1日，中巴8A線投入服務，以配合油麻地小輪增闢北角←→九龍城/紅磡的渡輪航線，並取代筲箕灣←→柴灣徙置區的無編號路線。 1972年7月1日，延長至柴灣（新廈街），即原柴灣徙置區第14座後停車場。 1976年9月12日，配合柴灣區巴士路線重組改稱82，同日起路線延長至柴灣（安業街）。 1978年7月10日，延長服務時間至由早上4時至凌晨2時半，以輔助通宵線122，成為香港境內歷來服務時間最長的專營巴士路線，達22.5小時，而此紀錄至今只有24小時不停服務的嶼巴B4線及嶼巴B6線打破。 1990年2月1日，配合位於常安街的柴灣（東）巴士總站啟用遷往該處。 1992年8月16日，晚間班次延長至小西灣邨。 1996年4月22日，配合通宵路線N8投入服務，縮短服務時間至午夜。 1997年7月16日，日間班次繞經小西灣。 1998年9月1日，中巴專營權結束，改由新巴經營。 2001年8月27日，因應藍灣半島入伙，本線全部班次改為由柴灣（東）開出。 2006年3月19日，因應8號線總站於2006年2月11日遷往杏花邨，騰出小西灣（藍灣半島）巴士總站巴士車坑，本線遷往小西灣（藍灣半島）巴士總站。 2018年9月10日：增設實時抵站時間查詢服務。 2022年8月15日：因應82M線取消，增設藍灣半島往環翠邨澤翠樓的短途分段收費。 啡字班次經柴灣東工業區 全程：$5.2 小西灣（藍灣半島）往環翠邨澤翠樓或之前：$4.5 明華大廈往小西灣（藍灣半島）：$4.5 乘客登上本線後指定時間內以同一張八達通卡轉乘以下路線，或從以下路線登車後指定時間內以同一張八達通卡轉乘本線，次程可獲車資折扣優惠： 82←→2A、27、780，轉乘時限為90分鐘 82往北角碼頭 → 2A往灣仔，次程車資全免 2A往耀東邨 → 82往小西灣，次程車資全免 82往北角碼頭 → 27往寶馬山，次程可獲$1折扣優惠 27往北角碼頭 → 82往小西灣，次程可獲$1折扣優惠 82往北角碼頭 → 780往中環，回贈首程車資 780往柴灣（東） → 82往小西灣，次程車資全免 82←→14、694，轉乘時限為90分鐘 82往北角碼頭 → 14往赤柱，次程可獲$6.1折扣優惠 82往北角碼頭 → 14山翠苑至龜背灣之間，次程可獲$3.6折扣優惠，祇適用於在龜背灣或之前下車，並使用同一張八達通卡再拍卡一次的路線14乘客 82往小西灣 → 14往赤柱，次程可獲$1折扣優惠 14往嘉亨灣 → 82往北角碼頭，次程可獲$1折扣優惠 14往嘉亨灣 → 82往小西灣，次程車資全免 82往小西灣 → 694往將軍澳，次程可獲$1.5折扣優惠 694往小西灣邨 → 82往北角碼頭，次程可獲$1.5折扣優惠 82←→77、99 82往北角碼頭 → 77或99往耀東邨（由筲箕灣開出），次程車資全免，轉乘時限為90分鐘，祇適用於在鯉景灣或之前下車，並使用同一張八達通卡再拍卡一次的路線77或99乘客 82往北角碼頭 → 77或99往耀東邨（由田灣／海怡半島開出），次程車資全免，轉乘時限為90分鐘，必須於西灣河站轉乘 82往北角碼頭 → 77往田灣，次程可獲$1折扣優惠，轉乘時限為90分鐘 77往田灣或99往海怡半島 → 82往小西灣，回贈首程車資，轉乘時限為45分鐘，祇適用於在鯉景灣或之前下車，並使用同一張八達通卡再拍卡一次的路線77或99乘客 77或99往筲箕灣 → 82往小西灣，次程車資全免，轉乘時限為45分鐘，必須於西灣河站或之後登上77或99方可享用此優惠 77往筲箕灣 → 82往小西灣，次程可獲$1折扣優惠，轉乘時限為90分鐘 現時行駛於82線為Enviro500（MMC）（4000-4091／5500-5599、5601-5839／6100-6209）及猛獅A95（6090），晚上會從27線調入單層巴士行走。 小西灣（藍灣半島）開經：小西灣道、柴灣道、環翠道、柴灣道、筲箕灣道、康山道、英皇道、琴行街、七姊妹道、書局街、渣華道及電照街。 北角碼頭開經：琴行街、英皇道、康山道、筲箕灣道、柴灣道、環翠道、柴灣道、常安街、豐業街、安業街、新業街及小西灣道。 註:黃色間街道代表該街道只有早上班次駛經。 有 ^ 號之車站祇限星期一至五（公眾假期除外）早上8:34前北角碼頭開出班次繞經，該等班次同時不停有 * 號之車站。 由於本線從小西灣來往北角的路線迂迴，加上城巴的8X線行走東區走廊較本線快捷來往北角、以及85線由筲箕灣以西路線和本線重疊及車費較便宜，82線部分客源被搶走了。但由於城巴85線的班次較本線疏落且不經柴灣西，因此本線是柴灣西及小西灣往來筲箕灣或太古城之間的主要路線。雖然很少乘客會從小西灣乘坐82到終點站北角碼頭，但在中途站上下車的乘客，例如從柴灣區及柴灣斜幾所學校往返筲箕灣、筲箕灣區往返北角、從筲箕灣往返太古等，倒成為本線的主要客源。 雖然82受多條特快巴士路線及港鐵的競爭，但本線行經小西灣、柴灣東及柴灣道長命斜，是柴灣地區與筲箕灣及太古的聯絡路線，有大量中途上落的乘客，所以客量仍然高企。 新世界第一巴士服務有限公司，〈路線82M服務取消 （页面存档备份，存于互联网档案馆）〉［乘客通告］。 柴灣（東）巴士總站外 請立即解決柴灣樂康區 巴士路線82號及118號嚴重不足問題 互联网档案馆的存檔，存档日期2014-10-28.，區議會 - 公共交通聯絡小組文件第9/12號，2012-3-20 681巴士總站－新巴82線 （页面存档备份，存于互联网档案馆） 《二十世紀港島區巴士路線發展史》，容偉釗編著，BSI出版 《香港島巴士路線與社區發展》，ISBN：9789888310067，出版商：中華書局(香港)有限公司，出版日期：2014年11月 维基共享资源上的相关多媒体资源：城巴82線 城巴 新巴82線 （页面存档备份，存于互联网档案馆） 城巴82線路線圖 （页面存档备份，存于互联网档案馆） 城巴82線詳細時間表 （页面存档备份，存于互联网档案馆） 其他 i-busnet－港島區路線82線資料 （页面存档备份，存于互联网档案馆）
張子立 (嘉靖進士)

張子立（1503年—？年），字元禮（或原禮），山東登州府黄县人，軍籍。明朝政治人物。 嘉靖四年（1525年）乙酉科山東鄉試舉人，五年（1526年）联捷丙戌科第三甲第213名進士。授行人司行人，十一年五月选授湖广道試御史理刑，十四年巡按浙江。十七年正月升山西按察司副使，历升本省布政司右参政，二十三年四月升本省按察使，次年升巡抚延绥右佥都御史。嘉靖二十四年七月北虏自马营墩宁塞堡入犯安塞堡安诸处，往返十馀日，蹂躏三百馀里，仅一副总兵李琦冒战被创，其他三镇官军逗遛，无一人敢撄其锋者。之后掩败称功，上章奏捷，被科道官员弹劾，总兵吴瑛、西路参将杨锐、总督张珩、巡抚张子立皆被锦衣卫逮系至京讯问，四人皆被充军戍边。张子立戍居固原，后死于戍所。 父張濬，为明正德九年（1514年）甲戌科进士，曾任常熟知县。 《山东通志》 （明）张朝瑞. 《皇明贡举考》卷五. 《续修四库全书》史部第828册.  鲁小俊，江俊伟著. 贡举志五种 上. 武汉：武汉大学出版社. 2009. ISBN 978-7-307-07043-1.  《黄县志》：张子立，字元禮，濬之子。弱冠登第，授行人，擢监察御史，按两浙，郡守憚其风裁，望尘下拜，子立曰：人有欲，故無剛。竟以白简斥之。巡抚延绥，修城堡，开红石峡以通水利，軍民利赖。用兵西夏，失利被逮，士民号泣遮道，中使亦泣下，延人为立碑于学宫。立自奉清约，好古文，戍居固原，杜门谢客。凡有公务执殳以往，曰：往役义也，往见不义也。居尝思亲，东望挥泪，成疾而终。耽好诗画书史，搜索购求，集满邺架，诸凡石室秘书、古今文辞，以至兵法医卜之类，不啻万轴，悉铃识以“东黄张氏书籍”之印章，家藏《唐诗记事》锲板二十卷，为世所珍惜，经兵火尽毁。。
申比赫尔城堡

申比赫尔城堡（Schloss Schönbühel）是一座城堡，创建于12世纪初，位于奥地利下奥地利州梅尔克县的申比赫尔-阿格斯巴赫，在多瑙河右岸，梅尔克下游。 城堡修建在多瑙河畔一块约40米高的岩石上，此处可能曾经建有古罗马堡垒。12世纪初，申比赫尔家族开始建造防御堡垒。 14世纪初，乌尔里希·冯·申比赫尔去世，该家族绝嗣。城堡归康拉德·冯·艾森伯特尔所有，不久后归梅尔克修道院所有。1396年，修道院院长路德维希将其出售给斯塔亨伯格兄弟（卡斯帕和冈达克）。在400多年的时间里，城堡一直属于斯塔亨伯格家族。1819年，路德维希·约瑟夫·格雷戈·冯·斯塔亨伯格于1819年将申比赫尔城堡和阿格斯泰因城堡一起出售给弗朗兹·冯·贝罗丁根伯爵，后者对城堡进行了翻修和部分重建。1930年，申比赫尔城堡出售给塞伦·阿斯邦家族。第二次世界大战期间曾被没收，战后被俄罗斯人占领，直到1955年归还。 Schloss Schoenbuehel: History. Schönbühel Aggstein AG. Accessed May 2013 Falko Daim, Karin Kühtreiber, Thomas Kühtreiber (2009) Burgen – Waldviertel, Wachau, Mährisches Thayatal, 2nd edition. Vienna: Freytag & Berndt, ISBN 978-3-7079-1273-9, pages 468–471.
李弥反攻云南战役

李弥反攻云南战役是1951年5月至7月下旬，中華民國國軍将领李弥率领泰緬孤軍从缅甸北部进攻云南省的战役。中华人民共和国方面视为对其部的两次围剿作战，或称为国军残部袭扰云南。 1950年4月，中華民國國軍将领李弥抵达曼谷，与在缅甸的国军残部取得了联系。1950年5月起，中華民國政府向国军派发军饷。国军残部得以休整，战斗力有所恢复。同时，缅甸政府通过各种手段迫使国军离开缅甸。中华民国政府命令缅北的国军进入云南从事游击活动。同年9月，美国海军少将格雷夫斯·厄斯金（英语：Graves B. Erskine）率领“东南亚军援顾问团”访问泰国。厄斯金与李弥进行三次会谈。李弥希望得到美方补给以反攻大陸，厄斯金强调在国军进入中国境内后可对其进行空投补给。11月5日，中央情报局政策协调办公室（英语：Office of Policy Coordination）根据厄斯金的建议，向总统杜鲁门提出“白纸方案”（Operation Paper），即支援缅北的国军进攻中国大陆，以牵制中国人民解放军，缓解美军在朝鲜半岛的压力，获得批准。 1951年2月起，中情局通过曼谷情报站，在泰国政府的协助下将武器装备交给国军。同时协助中華民國國防部将一批武器装备从台湾高雄送交国军。李弥从泰国达到缅甸境内、猛撒孤军总部后，在第26军建制下，将部队改组成第93师和第193师。4月，李弥编成6个游击纵队，8个支队一个特务团，总兵力达17600余人，并进行了整训备战。 日后，李弥透露“1951年3月美方为刺激匪方促成南北韩和谈，给以本部队不适用之机关枪200挺（装甲车上用的）六零炮12门，卡宾枪150支15W无线电4部82、60、79、30、45卡宾枪各种口径弹药各一部（数目待查），要本部队作螳臂挡车式之进攻云南，并派干部两员随行监视（美国人），本部队官兵以反攻有责，当即不问一切攻复沧源，在该地美方又空投三零步枪875支（每支附弹40发）卡宾枪2000支（每支附弹50发），7月本部以众寡悬殊伤亡甚大，迫不得已即转移至滇缅边境，整补训练，待机再举，此后该方即烦言啧啧，并即停止补给装备。同年9月，该方月给经费美金75000元（按泰币市价折付，收支实情均已呈报）接济本部队，迭嘱潜伏待机，本部队明知其为玩弄而豢养，但只好听其安排。1952年4月美方迫于中苏匪帮与缅甸之威胁，立即停止上项经费援助。” 1951年4月，李弥部队从缅北分南北两路向云南省推进。5月26日，从滇西南入境。发起军事行动后，李弥部队陆续占领云南边境的镇康、双江、耿马、孟定、沧源、澜沧、宁江、南峤等8个县治。美军先后五次，向沧源境内空投武器装备。 5月下旬起，《人民日报》不断报道李弥部队进攻耿马、双江、沧源地区。6月3日，解放军云南军区发布作战命令。根据事先获得的情报，将采诱敌深入战术，在李弥部队“进入国境一定深度时，切断其退路，以强大劲旅围剿、追剿与清剿”。6月15日，国军残部600余人投奔李弥，李弥亲自接见，颁发番号和军职。 当时，解放军由李成芳指挥第十三军、十四军，公安边防团、军分区基干团九个团，由各族民兵向导配合向李弥部队发起进攻。李弥部队不敌，于6月底回到缅甸。 1951年7月中，李弥指挥部队分为三路，再度进攻云南。国军一九三师师长李国辉统领一路，攻占沧源；第二十六军军长呂國銓统领一路，攻打孟连县城；云南省第二区行政督察专员廖蔚文统领一路，曾袭占澜沧。《人民日报》报道提及，李弥部队进攻孟马、孟连、孟董等地。 云南军区调集解放军第十三军、第十四军各一部对李弥部队进行围剿，歼俘其官兵200余人。李弥部队因是孤军深入，缺少补给。中国人民解放军发起反击后，便全线溃退。7月22日，李弥部队退回缅甸境内。 1951年12月26日，《人民日报》发表《美国竟由台湾运送国民党匪军到泰国和缅甸北部，阴谋向我国边境乘机进行大规模扰乱活动》的文章，对“美帝国主义”和“泰国反动政府”相勾结，增援缅北的“国民党残匪”，“阴谋向我国边境乘机进行大规模的扰乱活动”加以揭露和谴责。 1953年，李弥被中華民國政府召回台北。李弥提交的报告中，将此次军事失败归咎于中情局援助不力。 中华人民共和国研究者认为，李弥率部进攻云南，更多地是为了向中华民国和美国政府“证明他们的价值，争取更多的援助以立足于缅甸”，而“从现有资料还不能完全了解国军残部对云南的进攻在多大程度上牵制了中国军队”。 宁江县是1950年代初，云南省短暂设置的县。县治在今普洱市澜沧拉祜族自治县境内。 1949年时，孟连县等县并入澜沧县。 孟马具体地点不详。 孟董具体地点不详。 毛德传. 李弥率部逃窜缅甸前后. 责编：xsy. 新浪网，来源：人民政协网. 2014-08-28 [2022-07-28] （简体中文）.  胡礼忠、张绍铎. 《国民党军队残部在滇缅边境的活动及第一次撤退台湾始末（1950-1954）》. 史林 (上海市: 上海社会科学院历史研究所). 2011, (2011年第5期): 125–133. ISSN 1007-1873 （简体中文）.  吴生林. 败退缅甸的国军残兵：朝战爆发妄图反攻云南（4）. 台海网，来源：环球网. 2015-04-02 [2022-07-28] （简体中文）.
可數鏈條件

在序理論中，若一個偏序集 X {\displaystyle X} 的所有強反鏈（英语：strong antichain）都是可數的，則說 X {\displaystyle X} 滿足可數鏈條件（Countable chain condition），而可數鏈條件又記做ccc。 實際上可數鏈條件有兩種，一種是上升可數鏈條件（upwards countable chain condition），一種是下降可數鏈條件（downwards countable chain condition），這兩個條件並不等價，而一般而言可數鏈條件指的是下降可數鏈條件，換句話說也就是「沒有兩個元素有相同的最小下界」這條件。 這條件被稱為「可數鏈條件」而非更合乎邏輯的「可數反鏈條件」，是因為和拓樸空間與完備布爾代數的鏈相關歷史理由之故，而在拓樸空間與完備布爾代數中，這些鏈條件有時剛好和反鏈條件條件相同，比方說若 κ {\displaystyle \kappa } 是一個基數，那麼在完備布爾代數中，任何的反鏈大小小於 κ {\displaystyle \kappa } 的充要條件是若不存在元素的下降 κ {\displaystyle \kappa } 序列，而在這種狀況下鏈條件與反鏈條件等價。 滿足可數鏈條件的偏序和空間被用於馬丁公理的陳述中。 在力迫理論中會用到滿足可數鏈條件的偏序，而這是因為對任何集合使用如此的序對，可以保持其基數及共尾性之故；此外，可數鏈條件在有限支撐迭代（詳情可見迭代力迫（英语：iterated forcing））中可得到保持。關於更多關於力迫中的可數鏈條件，可見力迫一文相關章節的說明。 更一般地，若 κ {\displaystyle \kappa } 是一個基數，那麼在一個偏序集每個反鏈的大小都小於 κ {\displaystyle \kappa } 的狀況下，會說這個偏序集滿足 κ {\displaystyle \kappa } －鏈條件；而在這種狀況下，可數鏈條件即是 ℵ 1 {\displaystyle \aleph _{1}} －鏈條件，也就是可數鏈條件即是 κ = ℵ 1 {\displaystyle \kappa =\aleph _{1}} 的 κ {\displaystyle \kappa } －鏈條件。 若說一個拓樸空間 X {\displaystyle X} 滿足可數鏈條件，或者所謂的蘇斯林（英语：Mikhail Yakovlevich Suslin）條件，就表示說 X {\displaystyle X} 的非空開子集的偏序集滿足可數鏈條件，也就是 X {\displaystyle X} 的非空開子集的所有的兩兩不交的搜集都是可數的，而這名稱的由來是蘇斯林問題。 所有的可分拓樸空間都滿足可數鏈條件，不僅如此，多至 c = 2 ℵ 0 {\displaystyle {\mathfrak {c}}=2^{\aleph _{0}}} 個可分空間的積空間都是可分的且滿足可數鏈條件。 一個度量空間滿足可數鏈條件，當且僅當這空間是可分的。 一般而言，滿足可數鏈條件的拓樸空間未必是可分的，像例如說在積拓樸下， { 0 , 1 } 2 2 ℵ 0 {\displaystyle \{0,1\}^{2^{2^{\aleph _{0}}}}} 這空間滿足可數鏈條件，但「不是」可分的。 滿足可數鏈條件的仿緊空間都是林德勒夫空間。 Jech, Thomas, Set Theory: Millennium Edition, Springer Monographs in Mathematics, Berlin, New York: Springer-Verlag, 2003, ISBN 978-3-540-44085-7  Products of Separable Spaces, K. A. Ross, and A. H. Stone. The American Mathematical Monthly 71(4):pp. 398–403 (1964)
張濬 (正德進士)

張濬（？—？年），字深甫，山東登州府黄縣人，軍籍。明朝政治人物。 弘治十四年（1501年）辛酉科山东乡试舉人，九年（1514年）甲戌科三甲第十二名進士，授常熟县知县，卒于任。 子张子立，嘉靖五年进士，官延绥巡抚。 （明）张朝瑞. 《皇明贡举考》卷五. 《续修四库全书》史部第828册.  鲁小俊，江俊伟著. 贡举志五种 上. 武汉：武汉大学出版社. 2009. ISBN 978-7-307-07043-1.  《黄县志》：张濬字深甫，童丱时英絶流辈，比長，以文学显。登进士科，令常熟，为政识大体，首重風教。化競財之兄弟，明子游之世袭，闢邪教，抑豪强，扶善类，恤民隐，兴学校，举遺賢，理冤狱，開田陌，劝农桑，整肃紀法，申明教条，皆有成绩。其为人凛凛，无敢祀遺者。于临政则平易近民，惜官仅一考，卒于任。子子立，官大中丞。赠御史。
森蝮屬

森蝮屬（學名：Bothriopsis）是蛇亞目蝰蛇科蝮亞科下的一個有毒蛇屬，主要包括分布於巴拿馬東部及南美洲北部大部分地區的一種蝮蛇。目前共有7個品種已被確認。 森蝮的體型據品種的不同可以有相當大的變化，至長者約可達1.5米長。所有森蝮都有著靈活的尾巴及神秘的體色紋理，而且都活躍於樹木之上。牠們的體色大致以綠色為基調，間中或有偏黑色的各式條紋。 森蝮主要分布於巴拿馬東部及南美洲北部，包括哥倫比亞太平洋海岸低地、厄瓜多爾、委內瑞拉至玻利維亞的一段安第斯山脈，與及巴西亞瑪遜盆地的熱帶雨林一帶。 McDiarmid RW、Campbell JA、Touré T：《Snake Species of the World: A Taxonomic and Geographic Reference, vol. 1》頁511，Herpetologists' League，1999年。ISBN 1-893777-00-6 Campbell JA、Lamar WW：《The Venomous Reptiles of the Western Hemisphere》頁870，倫敦：Comstock Publishing Associates，2004年。ISBN 0-8014-4141-2 Bothriopsis. ITIS. 2008 [18 April, 2008].  请检查|access-date=中的日期值 (帮助) （英文）TIGR爬蟲類資料庫：喬科森蝮 （英文）TIGR爬蟲類資料庫：森蝮屬
梅利莎·塞德曼

梅利莎·塞德曼（英語：Melissa Seidemann，1990年6月26日—），美国女子水球运动员。她曾代表美国国家队参加2012年、2016年和2020年夏季奥林匹克运动会水球比赛，获得三枚金牌。 Melissa SEIDEMANN. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
玛吉·斯蒂芬斯

玛吉·斯蒂芬斯（英語：Maggie Steffens，1993年6月4日—），美国女子水球运动员。她曾代表美国国家队参加2012年、2016年和2020年夏季奥林匹克运动会水球比赛，获得三枚金牌。 姐姐杰茜卡·斯蒂芬斯。 Maggie STEFFENS. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-11-15）.
番田車站 (神奈川縣)

番田車站（日语：番田駅／ばんだえき Banda eki */?）是一個位於神奈川縣相模原市中央區上溝（日语：上溝），屬於東日本旅客鐵道（JR東日本）相模線的鐵路車站。 島式月台1面2線的地面車站。站舍與月台由跨線橋聯絡。設有古老木造站舍。 （來源：JR東日本:車站構內圖 （页面存档备份，存于互联网档案馆）） 月台（2010年5月） 2014年度的1日平均上車人次為3,643人。 近年的1日平均上車人次如下表。 東日本旅客鐵道 ■相模線 原當麻－番田－上溝 各駅の乗車人員（2014年）. JR東日本. （原始内容存档于2001-05-06）.  相模原市統計書 （页面存档备份，存于互联网档案馆） - 相模原市 神奈川県県勢要覧. [2018-02-06]. （原始内容存档于2015-09-27）.  線区別駅別乗車人員（1日平均）の推移PDF - 19ページ JR東日本2000年度以後的上車人次 JR東日本 各駅の乗車人員（2000年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2001年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2002年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2003年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2004年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2005年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2006年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2007年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2008年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2009年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2010年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2011年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  JR東日本 各駅の乗車人員（2012年度）. [2018-02-06]. （原始内容存档于2019-03-22）.  JR東日本 各駅の乗車人員（2013年度）. [2018-02-06]. （原始内容存档于2016-03-04）.  JR東日本 各駅の乗車人員（2014年度）. [2018-02-06]. （原始内容存档于2019-03-28）.  番田車站 (福井縣)：位於福井縣蘆原市（あわら市），越前鐵道（えちぜん鉄道）三國蘆原線沿線的車站。其漢字與JR東日本的番田車站相同，但發音（ばんでん，Banden）卻不同。 車站資訊（番田站）：東日本旅客鐵道 35°32′43.4″N 139°21′46.6″E﻿ / ﻿35.545389°N 139.362944°E﻿ / 35.545389; 139.362944
王逈

王逈（？—？年），字士奇，河南开封府尉氏縣人，民籍。明朝政治人物。 正德八年（1513年）癸酉科河南乡试舉人，九年（1514年）联捷甲戌科三甲第十四名進士，授直隶徽州府休宁县知县，升泰州知州。 曾祖王昇。祖父王拳。父王欽，經歷。母陸氏。具慶下。兄王选，嘉靖二年进士，官應州知州。 （明）张朝瑞. 《皇明贡举考》卷五. 《续修四库全书》史部第828册.  鲁小俊，江俊伟著. 贡举志五种 上. 武汉：武汉大学出版社. 2009. ISBN 978-7-307-07043-1.  《尉氏县志》：王逈，幼颖异不群，十六七始治举子业，下笔成章，連第，知休宁，秉直道，绝私谒，三年两膺荐剡，卒为权贵所抑，仅除泰州知州。甫期，百度更新，御史罗某憎其简抗，欲加以非礼，竟以拂逆乞归，上下挽留之不得。祀乡贤。
镨化合物

镨化合物是镧系金属镨（元素符号：Pr）形成的化合物，在这些化合物中，镨一般显+3价，如PrCl3、Pr(NO3)3、Pr(CH3COO)3等；+2和 +4价的镨化合物是已知的。 金属镨和所有卤素反应，形成三卤化物： 2 Pr (s) + 3 F2 (g) → 2 PrF3 (s) （绿色） 2 Pr (s) + 3 Cl2 (g) → 2 PrCl3 (s) （绿色） 2 Pr (s) + 3 Br2 (g) → 2 PrBr3 (s) （绿色） 2 Pr (s) + 3 I2 (g) → 2 PrI3 (s) 四氟化镨 PrF4是已知的，可以由氟化钠和三氟化镨和氟气反应，形成 Na2PrF6。之后，再用液体氟化氢去除氟化钠，形成四氟化镨。 镨也会形成青铜色的二碘化物。类似镧、铈和钆的二碘化物，它是一种含有镨(III)的电子盐。 Chemical reactions of Praseodymium. Webelements. [9 July 2016]. （原始内容存档于2008-06-25）.  Greenwood and Earnshaw, p. 1240–2
考特妮·马修森

考特妮·马修森（英語：Courtney Mathewson，1986年9月14日—），美国女子水球运动员。她曾代表美国国家队参加2012年和2016年夏季奥林匹克运动会水球比赛，结果获得二枚金牌。 Courtney MATHEWSON. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
安妮卡·德赖斯

安妮卡·德赖斯（英語：Annika Dries，1992年2月10日—），美国女子水球运动员。她曾代表美国国家队参加2012年夏季奥林匹克运动会女子水球比赛，结果获得一枚金牌。 Annika DRIES. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
亚当·克里科里安

亚当·克里科里安（英語：Adam Krikorian，1974年7月22日—），美国水球运动员、教练。他曾带领美国国家队参加2012年、2016年和2020年夏季奥林匹克运动会女子水球比赛，结果队伍获得三枚金牌。 U.S. retains water polo coaches Adam Krikorian, Dejan Udovicic through Paris Olympics. Los Angeles Times. 2021-12-07 [2022-07-28]. （原始内容存档于2022-07-28） （美国英语）.
周偉 (正德進士)

周伟（？—？年），字秀卿，江西建昌府新城縣人，民籍。明朝政治人物。 弘治十七年（1504年）甲子科江西乡试舉人，九年（1514年）甲戌科三甲第十五名進士，官吴江县知县。 （明）张朝瑞. 《皇明贡举考》卷五. 《续修四库全书》史部第828册.  鲁小俊，江俊伟著. 贡举志五种 上. 武汉：武汉大学出版社. 2009. ISBN 978-7-307-07043-1.  《吴江县志·卷十九·長官》：武宗（正德）九年：周伟字秀卿新城人进士姑苏志云永新人
萨曼莎·希尔

萨曼莎·希尔（英語：Samantha Hill，1992年6月8日—），美国女子水球运动员。她曾代表美国国家队参加2016年夏季奥林匹克运动会女子水球比赛，结果队伍获得一枚金牌。 Sami HILL. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
玛迪·马塞尔曼

玛迪·马塞尔曼（英語：Maddie Musselman，1998年6月16日—），美国女子水球运动员。她曾代表美国国家队参加2016年和2020年夏季奥林匹克运动会女子水球比赛，获得二枚金牌。 Madeline MUSSELMAN. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
拉西奥娃-西科尔斯基引理

在公理集合論中，拉西奧娃-西科爾斯基引理（Rasiowa–Sikorski lemma）是力迫使用的技巧中最基本的事實之一，該引理以海倫娜·拉西奧娃（英语：Helena Rasiowa）和羅曼·西科爾斯基（英语：Roman Sikorski）為名。 在力迫的領域中，若說偏序集 ( P , ≤ ) {\displaystyle \left(P,\leq \right)} 的子集 E {\displaystyle E} 在 P {\displaystyle P} 中稠密，就表示對於任意的 p ∈ P {\displaystyle p\in P} 而言，有 e ∈ E {\displaystyle e\in E} 使得 e ≤ p {\displaystyle e\leq p} ；而若 D {\displaystyle D} 是 P {\displaystyle P} 的稠密子集的集族，那麼在滿足以下條件的狀況下，就稱 P {\displaystyle P} 中的濾子 F {\displaystyle F} 是 D {\displaystyle D} －一般（英语：generic filter）的： F ∩ E ≠ ∅ , ∀ E ∈ D {\displaystyle F\cap E\neq \emptyset ,\forall E\in D} 再有這些預備知識，就可以來描述拉西奧娃－西科爾斯基引理： 設 ( P , ≤ ) {\displaystyle \left(P,\leq \right)} 是一個偏序集且 p ∈ P {\displaystyle p\in P} ，若 D {\displaystyle D} 是 P {\displaystyle P} 的稠密子集的可數集族，那就存在一個 P {\displaystyle P} 中的 D {\displaystyle D} －一般（英语：generic filter）的濾子 F {\displaystyle F} ，使得 p ∈ F {\displaystyle p\in F} 此引理證明如下： 由於 D {\displaystyle D} 可數之故，因此可以將 P {\displaystyle P} 的子集給編號為 D 1 , D 2 , D 3 , . . . {\displaystyle D_{1},D_{2},D_{3},...} 等等，由假設可知，存在一個 p ∈ P {\displaystyle p\in P} ，然後由稠密性可知，存在一個 p 1 ≤ p {\displaystyle p_{1}\leq p} 且 p 1 ∈ D 1 {\displaystyle p_{1}\in D_{1}} ，如是反覆，可得 . . . ≤ p 2 ≤ p 1 ≤ p {\displaystyle ...\leq p_{2}\leq p_{1}\leq p} ，其中 p i ∈ D i {\displaystyle p_{i}\in D_{i}} ，因此 G = { q ∈ p : ∃ i , q ≥ p i } {\displaystyle G=\left\{q\in p:\exists i,q\geq p_{i}\right\}} 是 D {\displaystyle D} －一般（英语：generic filter）的濾子。 可以認為拉西奧娃－西科爾斯基引理是馬丁公理較弱的版本，或說拉西奧娃-西科爾斯基引理等價於 MA ⁡ ( ℵ 0 ) {\displaystyle \operatorname {MA} (\aleph _{0})} 。 對於 ( P , ≤ ) = ( f u n c ( X , Y ) , ⊇ ) {\displaystyle \left(P,\leq \right)=(func(X,Y),\supseteq )} ，也就是從 X {\displaystyle X} 到 Y {\displaystyle Y} 的、由包含關係定義的反向偏函数的偏序而言，若定義 D x = { s ∈ P : x ∈ d o m ( s ) } {\displaystyle D_{x}=\left\{s\in P:x\in dom(s)\right\}} ，那在這種狀況下，若 X {\displaystyle X} 可數，則拉西奧娃－西科爾斯基引理可得一個 { D x : x ∈ X } {\displaystyle \left\{D_{x}:x\in X\right\}} －一般的濾子 F {\displaystyle F} 及一個函數 F : X → Y {\displaystyle F:X\rightarrow Y} 假若我們使用處理 D {\displaystyle D} －一般的濾子的符號，那麼 { H ∪ G 0 : P i j P t } {\displaystyle \left\{H\cup G_{0}:P_{ij}P_{t}\right\}} 可得一個 H {\displaystyle H} －一般濾子（英语：generic filter） 若 D {\displaystyle D} 不可數，但其基數嚴格小於 2 ℵ 0 {\displaystyle 2^{\aleph _{0}}} 且其偏序集滿足可數鏈條件，那我們可使用馬丁公理。 一般濾子（英语：generic filter） 馬丁公理 Ciesielski, Krzysztof. Set theory for the working mathematician. London Mathematical Society Student Texts 39. Cambridge: Cambridge University Press. 1997. ISBN 0-521-59441-3. Zbl 0938.03067.  Kunen, Kenneth. Set Theory: An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics 102. North-Holland. 1980. ISBN 0-444-85401-0. Zbl 0443.03021.  Tim Chow's新聞群的文章Forcing for dummies （页面存档备份，存于互联网档案馆）對力迫的概念與想法做出了很好的介紹，該文章介紹了主要的想法且跳過了技術性的細節。
卡罗琳·克拉克

卡罗琳·克拉克（英語：Caroline Clark，1990年6月28日—），美国女子水球运动员。她曾代表美国国家队参加2016年夏季奥林匹克运动会女子水球比赛，结果队伍获得一枚金牌。 Caroline CLARK. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
阿里娅·费希尔

阿里娅·费希尔（英語：Aria Fischer，1999年3月2日—），美国女子水球运动员。她曾代表美国国家队参加2016年和2020年夏季奥林匹克运动会女子水球比赛，结果获得二枚金牌。 Aria FISCHER. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
謝芝

謝芝（？—？年），山西振武衛軍籍代州人。明朝政治人物。 正德二年（1507年）丁卯科山西乡试舉人，九年（1514年）甲戌科三甲第二十一名進士，历官南京大理寺署右寺副事评事，嘉靖元年（1522年）四月升山东按察司佥事，分巡海右道。历升陕西按察司副使，七年二月以官守有议，令回籍听用。 曾祖谢铎，景泰四年癸酉科舉人，官推官。祖父谢玺，弘治三年进士，官按察司佥事。父谢国表，弘治十八年进士，官监察御史。 （明）张朝瑞. 《皇明贡举考》卷五. 《续修四库全书》史部第828册.  鲁小俊，江俊伟著. 贡举志五种 上. 武汉：武汉大学出版社. 2009. ISBN 978-7-307-07043-1.  《明世宗肃皇帝实录卷之八十五》：嘉靖七年二月，吏部奉旨会官选择兵备官，广东按察司副使徐度、狭西副使谢芝、佥事沈松以官守有议；佥事王玺才力不及，俱回籍听用。狭西副使宋琏、韩璒、湖广副使费懋中、江西副使喻汉、山西副使潘仿、四川佥事戴鱀各才别有长，宜更调，诏从之。惟潘仿以地方贼情仍留管事。
凯莉·吉尔克里斯特

凯莉·吉尔克里斯特（英語：Kaleigh Gilchrist，1992年5月16日—），美国女子水球运动员。她曾代表美国国家队参加2016年和2020年夏季奥林匹克运动会水球比赛，获得二枚金牌。 Kaleigh GILCHRIST. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
麦肯齐·费希尔

麦肯齐·费希尔（英語：Makenzie Fischer，1997年3月29日—），美国女子水球运动员。她曾代表美国国家队参加2016年和2020年夏季奥林匹克运动会水球比赛，获得二枚金牌。 妹妹阿里娅·费希尔。 Makenzie FISCHER. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
阿什莉·约翰逊

阿什莉·约翰逊（英語：Ashleigh Johnson，1994年9月12日—），美国女子水球运动员。她曾代表美国国家队参加2016年和2020年夏季奥林匹克运动会水球比赛，结果获得二枚金牌。 Ashleigh JOHNSON. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
阿曼达·朗根

阿曼达·朗根（英語：Amanda Longan，1997年1月16日—），美国女子水球运动员。她曾代表美国国家队参加2020年夏季奥林匹克运动会女子水球比赛，结果队伍获得一枚金牌。 Amanda LONGAN. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
艾丽斯·威廉斯 (1994年)

艾丽斯·威廉斯（英語：Alys Williams，1994年5月28日—），美国女子水球运动员。她曾代表美国国家队参加2020年夏季奥林匹克运动会女子水球比赛，结果队伍获得一枚金牌。 Alys WILLIAMS. International Olympic Committee. [2022-07-28]. （原始内容存档于2022-07-28）.
元定理

在邏輯上，元定理是一個以元語言的對於形式系統的陳述。和在一個形式系統內證明的定理不同，元定理是在元理論中證明的，且可能涉及元理論中存在、但在對象理論中不存在的概念。 一個形式系統是由元語言和演繹系統（公理及推理規則）所決定的，這形式系統可用於證明系統中以形式語言表達的特定陳述；然而，元定理要以元定理系統以外的事物進行證明，而常見的元定理包括了集合論（尤其在模型論中）及原始歸納算術（英语：Primitive recursive arithmetic）（尤其在證明論中）等等；此外，比起顯示特定的陳述可證明，元定理更常顯示說一大類的陳述是可證明的，或特定陳述是不可證明的。 以下是元定理的一些例子： 一階邏輯的演繹定理說一個有著 Φ → Ψ {\displaystyle \Phi \rightarrow \Psi } 這形式的句子在公理系統 A {\displaystyle A} 中是可證明的，當且僅當句子 Ψ {\displaystyle \Psi } 是可從包含 Φ {\displaystyle \Phi } 及所有的 A {\displaystyle A} 的公理的公理系統中證明的。 馮·諾伊曼-博內斯-哥德爾集合論的類存在性定理（class existence theorem）說對於任意量詞僅及於集合的公式，總存在一個包含集合的類滿足這公式。 皮亞諾公理之類的系統的一致性證明。 元數學 使用-提及區別 Geoffrey Hunter (1969), Metalogic. Alasdair Urquhart (2002), "Metatheory", A companion to philosophical logic, Dale Jacquette (ed.), p. 307 Meta-theorem at Encyclopaedia of Mathematics Barile, Margherita. Metatheorem. MathWorld.
李白墓

李白墓，是唐代诗人、“诗仙”李白的墓地，位于安徽省马鞍山市当涂县城东南的青山西麓。 唐宝应元年（762年），李白去世，时为当涂（今安徽省当涂县）县令的李阳冰将他葬于城南龙山东麓。据谷氏族谱记载，其先祖谷兰馨同李白结为好友，谷兰馨离世之前交代子孙，李白的遗骸可葬于谷家的土地上，并要求子孙后代照看李白之墓。唐元和十二年（817年），李白生前的好友范作之子范传正与时任当涂县令诸葛纵合力迁葬于与龙山相对的青山脚下的谷家村旁，东以谷氏为邻，此后谷家人就成了李白的守墓人。 据官方记载，1938年7月，抗日战争时期，青山脚下的谷家村曾遭到日军空袭，太白祠、享堂、谷家祠堂都毁于炮火，历代名人拜谒诗仙的碑刻部分炸毁，李白墓也有部分坍塌。1954年，安徽省公布李白墓为省重点文物保护单位。文化大革命时期，一群红卫兵要“破四旧”，欲砸李白墓，谷氏族人60多人前来守护李白墓地，保住了李白墓园。1979年，当涂县委、县政府拨款重修李白墓、太白祠等。 除马鞍山市当涂县李白墓外，在马鞍山市西部的长江东岸采石矶，历代建有太白楼、青莲祠、捉月台、李白衣冠墓。相传为李白酒醉捉月溺死处，曾是李白真身墓地。文革期间（1966-1976年），1972年因采石小学学生在操场推铅球，李白衣冠墓的宋代墓碑“唐李翰林衣冠墓”受损断裂、后下落不明（一说墓碑断裂时间为1962年，文革期间不翼而飞）。1972年，墓地也被迁至翠螺山南坡上，称李白衣冠冢，又请书法家林散之新题写碑铭 “唐诗人李白衣冠冢”。 唐元和十三年（818年）春夏之間，诗人白居易作《李白墓》一诗： 采石江边李白坟，绕田无限草连云。 可怜荒垄穷泉骨，曾有惊天动地文。 但是诗人多薄命，就中沦落不过君。 但是静永健認為白居易本人可能並未曾親自前往李白墓。因為自白居易离开长安到离任浔阳共有作品三百八十余首，除《李白墓》外，沒有一首指出他曾去過当涂。且白居易在創作《青冢》時也沒去看過王昭君墓，所以在寫《李白墓》時也未必要去過當塗。而據朱金城《白居易研究》中「採石江邊李白墳辯疑」一文，采石江邊的墳或許是衣冠冢，芳村弘道則認為白居易是「詠想象中李白墓之作」。 陇西院 谷氏家族世代接力千年守护“李白墓”. 人民网. 《安徽日报》. 2015-10-15. （原始内容存档于2023-03-28） （中文）.  中国华侨国际文化交流基地之五十七：李白文化园. 中华全国归国华侨联合会. 2017-11-30. （原始内容存档于2024-05-26） （中文）.  吴黎明. 马鞍山当涂谷氏家族世代接力千年守护“李白墓”. 凤凰网. 《安徽日报》. 2015-10-15. （原始内容存档于2024-05-26） （中文）.  殷艳萍. 采石江边衣冠冢 曾是李白真身墓. 安徽财经网. 2022-03-21. （原始内容存档于2024-05-29） （中文）.  马睿. 【文史英华】直叫人生死相许——《金陵城西楼月下吟》诗歌背景. 四川省情网. 四川省地方志工作办公室. 2023-03-16. （原始内容存档于2024-05-29） （中文）.  静永健. 白居易江州时期拜访李白墓了吗. 中国李白研究（2001-2002年集）. 合肥: 黄山书社. 2002: 597–607. ISBN 7-80630-864-4.  （唐）白居易著; 朱金城笺校. 白居易集笺校. 上海: 上海古籍出版社. 1988: 1099. ISBN 7-5325-0280-5.  原詩六句。《古今圖書集成》有引述白居易此詩，但題目作《謫仙樓》，結尾多了「渚苹溪藻犹堪荐，大雅遗风已不闻」兩句。由於白居易的作品集裏向來無此二句，可能是後人所增改。參見朱金城《「采石江邊李白墳」辨疑》，收錄於朱金城《白居易研究》，臺北，文史哲出版社，1990年初版。ISBN 9575471385。