stanford-oval/wikipedia huggingface dataset:
冯诺伊曼-博内斯-哥德尔集合论
等號公理 > 外延定理

為以下的定理可直觀理解為「x等於y等價於，對所有集合z，z屬於x等價於z屬於y」，也就是說，等於的定義可以「限縮」成元素為集合的狀況。
外延定理 —  \vdash (x=y)\Leftrightarrow (\forall ^{M}z)[\,(z\in x)\Leftrightarrow (z\in y)\,]
引入新的函數符號前，常需要唯一存在性的證明，而外延定理大大簡化了證明的難度。
等號公理 > 特定條件下的存在性

以下關於一阶逻辑的一般性定理，也大大簡化了  引入新公理的過程所需的證明
（DC, Definition under certain condition） —  x 於合式公式  {\mathcal {A}} 完全不自由且  c  是常數符號。若
{\mathcal {A}}\vdash (\exists x){\mathcal {B}}
則有
\vdash (\exists x)\{\,[\,\neg {\mathcal {A}}\wedge (x=c)\,]\vee ({\mathcal {A}}\wedge {\mathcal {B}})\,\}
空集合公理

(N) —  ({\exists }^{M}x)({\forall }^{M}y)(y\not \in x)
這個公理的直觀意思是「存在集合x，使的所有集合y都不屬於x」。
事實上這個公理還確保了空集的唯一性，嚴格來說，它確保了：
定理 —  \vdash (\exists !x)[\,{\mathcal {M}}(x)\wedge ({\forall }^{M}y)(y\not \in x)\,]
也就是直觀上，「空集是唯一存在的」，這樣根據函數符號與唯一性一節，可以在加入新的常數符號  \varnothing  和以下的新公理（嚴格來說，把完全沒有函數符號和常數符號的擴展成有  \varnothing  的新，但兩個理論是等效的）
(N^{\prime }) —  {\mathcal {M}}(\varnothing )\wedge ({\forall }^{M}y)(y\not \in \varnothing )
這個新公理直觀上以「 \varnothing 為集合，且任意集合y都不屬於 \varnothing 」，把  \varnothing  定義成了空集的表示符號。
配對公理

(P) —  ({\forall }^{M}x)({\forall }^{M}y)({\exists }^{M}p)({\forall }^{M}z)\{(z\in p)\Leftrightarrow [(z=x)\vee (z=y)]\}
這個公理的直觀意思是「對所有集合x和集合y，存在一個僅以x跟y為元素的集合p」。
這個公理還確保了以下的唯一性：
定理（P-1） —  {\mathcal {M}}(x)\wedge {\mathcal {M}}(y)\vdash (\exists !p){\big \{}\,{\mathcal {M}}(p)\wedge ({\forall }^{M}z)\{\,(z\in p)\Leftrightarrow [(z=x)\vee (z=y)]\,\}\,{\big \}}
這樣的話會有
定理 —  \vdash (\exists !p){\bigg \{}\,\{\,\neg [\,{\mathcal {M}}(x)\wedge {\mathcal {M}}(y)\,]\wedge (p=\varnothing )\,\}\vee {\big \{}\,{\mathcal {M}}(x)\wedge {\mathcal {M}}(y)\wedge {\mathcal {M}}(p)\wedge ({\forall }^{M}z)\{\,(z\in p)\Leftrightarrow [(z=x)\vee (z=y)]\,\}\,{\big \}}\,{\bigg \}}
所以根據函數符號與唯一性一節，可以在加入新的雙元函數符號  f_{p}^{2}(x,\,y)（簡記為  \{x,\,y\} ）和以下的新公理
(P^{\prime }) — 

 {\bigg \{}\neg [\,{\mathcal {M}}(x)\wedge {\mathcal {M}}(y)\,]\wedge (\{x,\,y\}=\varnothing ){\bigg \}}\vee 


 {\bigg \{}{\mathcal {M}}(x)\wedge {\mathcal {M}}(y)\wedge {\mathcal {M}}\left(\{x,\,y\}\right)\wedge ({\forall }^{M}z)\{\,(z\in \{x,\,y\})\Leftrightarrow [(z=x)\vee (z=y)]\,\}{\bigg \}}
這個新公理的直觀意思是「若x和y為集合，則  \{x,\,y\} 就是那個只以x和y為元素的集合；但反之，若x和y不全為集合，則  \{x,\,y\} 為空集」。
配對公理 > 有序對

\{x\}:=\{x,\,x\}
\langle x\rangle :=x
\langle x,\,y\rangle :=\{\{x\},\,\{x,\,y\}\}
\langle x_{1},\,\dots ,\,\,x_{n},\,x_{n+1}\rangle :=\langle \langle x_{1},\,\dots ,\,\,x_{n}\rangle ,\,x_{n+1}\rangle
在不跟括弧產生混淆的情況下，也可以把 \langle x_{1},\,\dots ,\,\,x_{n},\,x_{n+1}\rangle 記為 (x_{1},\,\dots ,\,\,x_{n},\,x_{n+1})。
配對公理 > 關係

Rel(f):=(\forall ^{M}a){\big \{}\,(a\in f)\Rightarrow (\exists x)(\exists y)\{\,{\mathcal {M}}(x)\wedge {\mathcal {M}}(y)\wedge [\,a=(x,\,y)\,]\,\}\,{\big \}}
配對公理 > 类函數

Fnc(f):=Rel(f)\wedge (\forall ^{M}x)(\forall ^{M}y)(\forall ^{M}\upsilon )\{\,[\,(x,\,y)\in f\wedge (x,\,\upsilon )\in f\,]\Rightarrow (y=\upsilon )\,\}
類函數跟普通函数的差別在於普通函數是個集合。
类的存在公理 > 屬於類公理

(K_{\in }) —  (\exists e)(\forall ^{M}a)(\forall ^{M}b)\{[(a,\,b)\in e]\Leftrightarrow (a\in b)\}
类的存在公理 > 交類公理

(K_{i}) —  (\forall x)(\forall y)(\exists i)({\forall }^{M}a)\{(a\in i)\Leftrightarrow [(a\in x)\wedge (a\in y)]\}
类的存在公理 > 補類公理

(K_{c}) —  (\forall x)(\exists c)({\forall }^{M}a)[(a\in c)\Leftrightarrow (a\not \in x)]
类的存在公理 > 定義域公理

(K_{D}) —  (\forall x)(\exists d)(\forall ^{M}a)\{(a\in d)\Leftrightarrow (\exists ^{M}b)[(a,\,b)\in x]\}
类的存在公理 > 積類公理

(K_{p}) —  (\forall x)(\exists p)(\forall ^{M}a)(\forall ^{M}b)\{[\,(a,\,b)\in p\,]\Leftrightarrow (a\in x)\}
类的存在公理 > 置換類公理

(K_{\sigma 1}) —  (\forall x)(\exists \sigma )(\forall ^{M}a)(\forall ^{M}b)(\forall ^{M}c)\{[(a,\,b,\,c)\in x]\Leftrightarrow [(b,\,c,\,a)\in \sigma ]\}
(K_{\sigma 2}) —  (\forall x)(\exists \sigma )(\forall ^{M}a)(\forall ^{M}b)(\forall ^{M}c)\{[(a,\,b,\,c)\in x]\Leftrightarrow [(a,\,c,\,b)\in \sigma ]\}
类的存在公理 > 類的存在元定理

這個元定理對應到ZFC尔集合论的分類公理。
首先需要递归地定义「可敘述公式」（predicative well-formed formula）：
對任意變數  x 和  y ， x\in y 為可敘述公式。
若  {\mathcal {P}} 與  {\mathcal {Q}} 為可敘述公式，  x 為任意變數，則  (\neg {\mathcal {P}}) 、  ({\mathcal {P}}\Rightarrow {\mathcal {Q}}) 與  (\forall ^{M}x){\mathcal {P}}  都是可敘述公式。
這樣依據上列諸類存在公理，就有以下元定理：
類的存在元定理 — 

 {\mathcal {P}} 為一條只內含變數  x_{1},\,\dots ,\,x_{n},\,y_{1},\,\dots ,\,y_{m} 的可敘述公式，則有
集合的公理 > 并集公理

(U) —  (\forall ^{M}x)(\exists ^{M}u)(\forall ^{M}a)[(a\in u)\Leftrightarrow (\exists ^{M}\xi \in x)(a\in \xi )]
集合的公理 > 幂集公理

(W) —  (\forall ^{M}x)(\exists ^{M}w)(\forall ^{M}\xi )\{(\xi \in w)\Leftrightarrow (\xi \subseteq x)\}
集合的公理 > 子集公理

(S) —  (\forall ^{M}x)(\forall y)(\exists ^{M}z)(\forall ^{M}a)\{(a\in z)\Leftrightarrow [(a\in x)\wedge (a\in y)]\}
無窮公理

(I) —  (\exists ^{M}I)\{(\varnothing \in I)\wedge (\forall ^{M}a)[(a\in I)\Rightarrow (a\cap \{a\}\in I)]\}
取代公理及其替代

(R) —  Fnc(f)\Rightarrow (\forall ^{M}x)(\exists ^{M}r)(\forall ^{M}b){\bigg \{}(b\in r)\Rightarrow (\exists ^{M}a)\{(\langle a,\,b\rangle \in r)\wedge (a\in x)\}{\bigg \}}
直觀意義為「 f 為类函数則對任意集合  x ，存在一個集合  r ，正好就是在  f 的規則下映射出的像」。
取代公理及其替代 > 大小限制公理

对于任何类 C，存在一个集合 x 使得  Rp(C,x) （謂 x 是 C 的表示，即 C 和 x 所包含的元素一樣），当且仅当没有在 C 和所有集合的类 V 之间的双射。
这个公理贡献自冯·诺伊曼，并一下实现了分离公理、替代公理和全局选择公理。他效力相當於原始的替代公理加上这选择公理。完全的大小限制公理蕴涵了全局选择公理，因为序数的类不是集合，所以有从序数到全集的双射。
引用

Bernays, Paul. . Dover Publications. 1991. ISBN 978-0-486-66637-2.
John von Neumann, 1925, "An Axiomatization of Set Theory." English translation in Jean van Heijenoort, ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press.
Mendelson, Elliott, 1997 (1964). An Introduction to Mathematical Logic, 4th ed. Chapman & Hall. The classic textbook treatment of NBG set theory, showing how it can found mathematics.
Richard Montague, 1961, "Semantic Closure and Non-Finite Axiomatizability I," in Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, (Warsaw, 2-9 September 1959). Pergamon: 45-69.
. PlanetMath.
↑  Cohen, Paul J. . New York: W. A. Benjamin. 1966  [2023-05-15]. （原始内容存档于2023-05-15）.
↑  Montague, Richard. . Journal of Symbolic Logic. 1964, 29 (1)  [2023-05-15]. doi:10.2307/2269797. （原始内容存档于2023-05-15）.
↑  Mendelson, Elliott. . Chapman & Hall. 2015: 233–233. ISBN 9781482237726.
亨利克斯·馬特拉斯·傑馬努斯

亨利克斯·馬特拉斯·傑馬努斯繪製的世界地圖，藏於大英圖書館
亨利克斯·馬特拉斯·傑馬努斯繪製的世界地圖，藏於耶魯大學
亨利克斯·馬特拉斯·傑馬努斯（Henricus Martellus Germanus）是一名德國製圖師，1480年至1496年間活躍於佛羅倫斯。他流傳下來的地圖作品包括托勒密《地理學指南》的手稿、《島嶼圖鑑》（Insularium illustratum，島嶼地圖的描述性地圖集）的手稿，以及兩張世界地圖。馬特拉斯的世界地圖是第一份展示從非洲南端進入印度洋的通道的世界地圖，總結了大航海地理大發現時代初期的地理知識，也是「15世紀末歐洲最頂尖地圖學的典範」。
傳記

人們對亨利克斯·馬特拉斯·傑馬努斯的生平知之甚少，名字和出生地皆是謎。15世紀的學者和工匠採用拉丁化版本的出生名十分常見，馬特拉斯即為這種情況。傑馬努斯（Germanus）是表示德國的拉丁詞彙，也是他出身的最清楚標誌。一些文獻作者假設他的出生名字一定是「Heinrich Hammer」（Henricus Martellus 的德文翻譯），但無文獻佐證。他可能來自德國文藝復興中心紐倫堡，但同樣沒有直接證據。
當時，佛羅倫斯是大量德國移民的家園，他們從事工匠和藝匠，因此馬特拉斯在這座城市並不引人注目。他在1480年至1496年間活躍於佛羅倫斯，至少曾在弗朗切斯科·罗塞利（英语：）（Francesco Rosselli）的工作室待過一段時間。
他的作品受到了另一位活躍在佛羅倫斯的德國製圖師尼克勞斯·傑馬努斯影響，但他的教育或經歷無人知曉。 馬特拉斯自己聲稱他四處旅行，表明他可能是一位商人。
作品

馬特拉斯現存的地圖作品包括兩幅世界地圖、托勒密《地理學指南》以及《島嶼圖鑑》（Insularium illustratum）的手稿。
作品 > 世界地圖

馬特拉斯在1489年至1491年左右，至少繪製了一幅世界地圖，這幅地圖與馬丁·貝海姆在1492年附近所製作的貝海姆地球儀十分相似。兩者都搭配新的資料改造現有的托勒密模型，像是開闢往南非的通道，在黃金半島（英语：）（馬來半島）以東繪製了一個巨大的新半島（英语：）。這兩則新資料可能源自哥倫布於1485年左右在里斯本製作的地圖。[來源請求]
世界地圖手稿的尺寸為201×122公分（79英寸×48英寸），在1960年代時被重新發現，後來捐赠给耶魯大學拜內克古籍善本圖書館。 左下角有銘文寫道：「儘管斯特拉波和托勒密以及大多數古人在描述世界方面最為勤奮不懈，但是我們將之匯集在這張圖片中，並在其真實位置仔細展示了他們努力卻遺漏一直不為他們所知的新知識」。  亨利克斯·馬特拉斯·傑馬努斯的另一幅世界地圖收藏於大英圖書館。
美國製圖史學家切特·凡·杜澤（Chet van Duzer）帶領的2014年多光譜成像計畫揭示了地圖上許多從前難以辨認的細節，包括對亞洲北部豪豬的描繪，對希波波第斯人（英语：）（the Hippopodes）和帕諾蒂人（英语：）（the Panotti）等神話民族的提及，以及數量驚人的非洲內部資訊，這些知識很可能源自於1441年出席佛羅倫斯大公會議的衣索比亞代表團。
作品 > 托勒密《地理學指南》

1480年左右，馬特拉斯創作了他最早作品「托勒密的《地理學指南》」的手寫本。第一版遵循了標準的托勒密模型，即一幅傳統的世界地圖和26幅使用梯形投影的區域地圖。後續版本是為他的贊助人Camillo Maria Vitelli製作的。除傳統地圖外，馬特拉斯還增加了一些新的地圖（tabulae modernae），包括地中海島嶼、小亞細亞、北歐、不列顛群島的地圖和北非海岸的航海圖。在一篇序言中，他聲稱他的地圖包含了葡萄牙人新發現的所有港口和海岸。
作品 > 島嶼圖鑑

馬特拉斯還製作了一本《島嶼圖鑑》，現存五份手稿，還有一份工作用副本存放在老楞佐圖書館中。該圖鑑收錄了愛琴海島嶼的插圖描述，大部分是從克里斯托福羅·布隆戴蒙提（英语：）（Cristoforo Buondelmonti）之前的作品複製而來。 布隆戴蒙提的《isolario》（島嶼的書籍）在15世紀被多次翻印，但馬特拉斯在他自己的版本中加入了科西嘉島、撒丁島和西西里島等其它地中海島嶼，他也是第一個在地中海以外加入島嶼的人，包括英國和愛爾蘭。他是第一個加入幾張區域地圖和一張世界地圖的人。特別是，大英圖書館的手稿包含了他最重要、最詳細且被廣泛翻印的世界地圖。
影響

馬特拉斯地圖是1507年瓦爾德澤米勒地圖的參考來源，整體佈局大同小異，马丁·瓦尔德泽米勒使用了與馬特拉斯相同的「偽心形投影」。兩位製圖師都在地圖邊界加入了裝飾性的吹風頭像（ wind-heads），並且都利用了投影的下撲線在地圖下角的額外空間加入文本區塊。兩張地圖上的北非形狀是一樣的；也就是說，它是具有尖銳西北角的托勒密地圖。地圖上的東亞形狀也十分相似，都有個巨大的半島向西南伸入印度洋，而日本在兩張地圖上的位置完全相同，皆在東部邊緣。
筆記

↑  Edson 2007, p. 219
1 2 3  Van Duzer 2019, p. 3
1 2 3  Edson 2007, pp. 215-220
↑  Van Duzer 2019, p. 4
↑  Urbanus, Jason. . Archaeology. Jan–Feb 2016, 69 (1): 9–10  [11 January 2021]. ISSN 0003-8113. （原始内容存档于2022-02-02）.
↑  Hammer, Heinrich. . Beinecke Rare Book & Manuscript Library. Yale University.   [31 August 2017]. （原始内容存档于2020-01-24）. ; Chet Van Duzer, Henricus Martellus's World Map at Yale (c. 1491): Multispectral Imaging, Sources, and Influence, Berlin, Springer International Publishing, 2018.
↑  ETSI STRABO AC PTOLEMEUS ET PLERIQUE VETERUM DESCRIBENDI ORBIS FUERE STUDIOSISSIMI NOVORUM TAMEN DILIGENTIA QUEDAM AB EIS TANQUAM INCOGNITA PRETERMISSA ADINVENIT QUE NOS HOC PICTURE AD VERAM LOCORUM SCIENTIAM EXPRIMENDAM STUDIOSE IUNXIMUS
↑  .   [2022-02-06]. （原始内容存档于2022-02-01）.
↑  Miller, Greg. . National Geographic. 8 October 2018  [26 August 2019]. （原始内容存档于2021-02-16）.
↑  Van Duzer 2019, pp. 9-18
↑  Bouloux, Nathalie. . The Historical Review / La Revue Historique. 2012, IX: 77–94  [30 September 2016]. （原始内容存档于2022-02-03）.
↑  Chet Van Duzer, "Waldseemüller's World Maps of 1507 and 1516: Sources and Development", The Portolan, No.1, Winter 2012, p.12.
參考文獻

Davies, Arthur. . The Geographical Journal. 1977, 143 (3): 451–459  [2022-02-06]. JSTOR 634713. doi:10.2307/634713. （原始内容存档于2022-02-03）.
Edson, Evelyn. . Baltimore: Johns Hopkins University Press. 2007: 215–219. ISBN 978-0801885891.
Lester, Toby. . New York: Free Press. 2009. ISBN 9781416535317.
Marques, Alfredo Pinheiro.  Editors list列表中的|first1=缺少|last1= (帮助); 缺少或|title=为空 (帮助)
Meurer, Peter H. Woodward, David , 编.  (PDF). University of Chicago. 2007: 1183–1188  [2022-02-06]. ISBN 978-0-226-90734-5. （原始内容 (PDF)存档于2022-04-07）.
Van Duzer, Chet. . Cham, Switzerland. 2019. ISBN 978-3-319-76840-3. OCLC 1047959884.
Wolff, Hans. Wolff, Hans , 编. . Munich: Prestel. 1992: 13–14. ISBN 3791312324 （英语）.
外部連結

Arthur Davies: Behaim, Martellus and Columbus, The Geographical Journal, Vol. 143, No. 3 (Nov., 1977), pp. 451-459 （页面存档备份，存于）
Alexander O. Vietor: A Pre-Columbian Map of the World, Circa 1489, Imago Mundi, Vol. 17, 1963 (1963), pp. 95-96 （页面存档备份，存于）
An essay on the world maps created by Henricus Martellus Germanus （页面存档备份，存于）
Recent findings via multispectral imaging: presentation by Chet van Duzer, Hidden secrets of Yale's 1491 world map revealed via multispectral imaging press release by Yale University （页面存档备份，存于）.
亨利克斯·馬特拉斯，1491 年世界地圖上的說明性題辭
1993年中华人民共和国县级以上行政区划变更列表

1993年，中华人民共和国共有4次撤地设市、7次地市合并，新设1个地级市、2个地区，1个自治州与1个地区更名；除此以外，还有51个县改为县级市，新设1个市辖区，2个县隶属变更，6个市辖区和1个县更名，1个县和1个自治县人民政府迁移。相较于上一年，全国共减少了9个地区、51个县、1个自治县、1个工农区（工农区这一县级行政区划不再存在），增加了5个地级市、48个县级市、7个市辖区。
苏州市和徐州市被国务院批准为“较大的市”。
列表中，行政单位名称后的数字为行政区划代码。
地级行政区划变更列表

各子列表均按省级行政区划顺序排列。
地级行政区划变更列表 > 新设地级市

| 原行政单位> 广西壮族自治区 | 原行政单位> 广西壮族自治区 | 原行政单位> 广西壮族自治区 | 变更方式> 广西壮族自治区 | 新行政建制> 广西壮族自治区 | 新行政建制> 广西壮族自治区 | 新行政建制> 广西壮族自治区 | 变更时间与批文> 广西壮族自治区 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 钦州地区管辖 | 防城各族自治县 | 452822 | 撤销防城各族自治县和防城港区，设立防城港市（地级） 防城港市辖港口、防城两个区和上思县 | 防城港市 | 防城港市 | 450600 | 国务院5月23日批复同意 国函〔1993〕68号 |
| 钦州地区管辖 | 防城各族自治县 | 452822 | 撤销防城各族自治县和防城港区，设立防城港市（地级） 防城港市辖港口、防城两个区和上思县 | - | 港口区 | 450602 | 国务院5月23日批复同意 国函〔1993〕68号 |
| 钦州地区管辖 | 防城各族自治县 | 452822 | 撤销防城各族自治县和防城港区，设立防城港市（地级） 防城港市辖港口、防城两个区和上思县 | - | 防城区 | 450603 | 国务院5月23日批复同意 国函〔1993〕68号 |
| 钦州地区管辖 | 上思县 | 452821 | 撤销防城各族自治县和防城港区，设立防城港市（地级） 防城港市辖港口、防城两个区和上思县 | - | 上思县 | 450621 | 国务院5月23日批复同意 国函〔1993〕68号 |
|  |  |  |  | - |  |  | 国务院5月23日批复同意 国函〔1993〕68号 |
地级行政区划变更列表 > 新设地区

| 原行政单位> 四川省 | 原行政单位> 四川省 | 原行政单位> 四川省 | 变更方式> 四川省 | 新行政建制> 四川省 | 新行政建制> 四川省 | 新行政建制> 四川省 | 变更时间与批文> 四川省 |
| --- | --- | --- | --- | --- | --- | --- | --- |
|  |  |  | 设立巴中地区 巴中地区辖巴中市、通江县、南江县和平昌县 | 巴中地区 | 巴中地区 | 513700 | 国务院7月5日批复同意 国函〔1993〕98号 |
| 达县地区管辖↓ | 巴中市 | 未实际分配↓ | 设立巴中地区 巴中地区辖巴中市、通江县、南江县和平昌县 | - | 巴中市 | 513701 | 国务院7月5日批复同意 国函〔1993〕98号 |
| 达县地区管辖↓ | 通江县 | 513025 | 设立巴中地区 巴中地区辖巴中市、通江县、南江县和平昌县 | - | 通江县 | 513721 | 国务院7月5日批复同意 国函〔1993〕98号 |
| 达县地区管辖↓ | 南江县 | 513026 | 设立巴中地区 巴中地区辖巴中市、通江县、南江县和平昌县 | - | 南江县 | 513722 | 国务院7月5日批复同意 国函〔1993〕98号 |
| 达县地区管辖↓ | 平昌县 | 513028 | 设立巴中地区 巴中地区辖巴中市、通江县、南江县和平昌县 | - | 平昌县 | 513723 | 国务院7月5日批复同意 国函〔1993〕98号 |
地级行政区划变更列表 > 地级行政区划更名

| 原行政单位> 湖北省 | 原行政单位> 湖北省 | 原行政单位> 湖北省 | 变更方式> 湖北省 | 新行政建制> 湖北省 | 新行政建制> 湖北省 | 变更时间与批文> 湖北省 |
| --- | --- | --- | --- | --- | --- | --- |
| 鄂西土家族苗族自治州 | 鄂西土家族苗族自治州 | 422800 | 鄂西土家族苗族自治州更名为恩施土家族苗族自治州 | 恩施土家族苗族自治州 | 恩施土家族苗族自治州 | 国务院4月4日批复同意 国函〔1993〕36号 |
四川省
| 达县地区 | 达县地区 | 513000 | 达县地区、达县市分别更名为达川地区、达川市 | 达川地区 | 达川地区 | 国务院7月5日批复同意 国函〔1993〕98号 |
| - | 达县市 | 513001 | 达县地区、达县市分别更名为达川地区、达川市 | - | 达川市 | 国务院7月5日批复同意 国函〔1993〕98号 |
其他县级行政区划变更列表 > 市辖区的新设

| 原行政单位 | 原行政单位 | 原属省市 | 变更方式 | 现属省市 | 新行政建制 | 新行政建制 | 变更时间与批文 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 郊区 | 441611 | 广东省河源市 | 撤销河源市郊区，设立东源县 | 广东省河源市 | 东源县 | 441625 | 国务院批准 民政部11月8日批复同意 民行批〔1993〕209号 |
其他县级行政区划变更列表 > 县级行政区划行政隶属变更

| 原行政单位 | 原行政单位 | 所属省市 | 变更方式 | 现属省市 | 新行政区划代码 | 变更时间与批文 |
| --- | --- | --- | --- | --- | --- | --- |
| 虎林县 | 231027 | 黑龙江省牡丹江市 | 将牡丹江市的虎林县划归鸡西市管辖 | 黑龙江省鸡西市 | 230322 | 国务院批准 民政部6月14日批复同意 民行批〔1993〕127号 |
| 饶河县 | 230832 | 黑龙江省佳木斯市 | 将佳木斯市的饶河县划归双鸭山市管辖 | 黑龙江省双鸭山市 | 230524 | 国务院批准 民政部7月5日批复同意 民行批〔1993〕137号 |
其他县级行政区划变更列表 > 县级行政区划更名

| 原行政单位 | 原行政单位 | 所属省市（地区） | 变更方式 | 新行政建制 | 新行政建制 | 变更时间与批文 |
| --- | --- | --- | --- | --- | --- | --- |
| 南桐矿区 | 510216 | 四川省重庆市 | 重庆市南桐矿区更名为万盛区 | 万盛区 | 行政区划代码不变 | 国务院批准 民政部2月16日批复同意 民行批〔1993〕42号 |
| 郊区 | 150404 | 内蒙古自治区 赤峰市 | 赤峰市郊区更名为松山区 | 松山区 | 行政区划代码不变 | 国务院批准 民政部5月3日批复同意 民行批〔1993〕89号 |
| 城关区 | 360302 | 江西省萍乡市 | 萍乡市城关区更名为安源区 | 安源区 | 行政区划代码不变 | 国务院批准 民政部5月18日批复同意 民行批〔1993〕109号 |
| 完县 | 132426 | 河北省保定地区 | 完县更名为顺平县 | 顺平县 | 行政区划代码不变 | 国务院批准 民政部5月20日批复同意 民行批〔1993〕110号 |
| 郊区 | 320311 | 江苏省徐州市 | 徐州市郊区更名为徐州市泉山区 | 泉山区 | 行政区划代码不变 | 国务院批准 民政部9月2日批复同意 民行批〔1993〕173号 |
| 城区 | 330402 | 浙江省嘉兴市 | 嘉兴市城区更名为嘉兴市秀城区 | 南湖区 | 行政区划代码不变 | 国务院批准 民政部12月1日批复同意 民行批〔1993〕238号 |
| 郊区 | 370811 | 山东省济宁市 | 济宁市郊区更名为济宁市任城区 | 任城区 | 行政区划代码不变 | 国务院批准 民政部12月14日批复同意 民行批〔1993〕243号 |
其他县级行政区划变更列表 > 其他县级行政区划调整

| 原行政单位 | 原行政单位 | 所属省市（地区） | 变更方式 | 现属省市（地区） | 新行政建制 | 新行政建制 | 变更时间与批文 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 万源县 | 513024 | 四川省达县地区↑ | 撤销万源县和白沙工农区，合并设立万源市（县级） | 四川省达县地区↑ | 万源市 | 513002 | 国务院批准 民政部7月14日批复同意 民行批〔1993〕151号 |
| 白沙工农区 | 513032 | 四川省达县地区↑ | 撤销万源县和白沙工农区，合并设立万源市（县级） | 四川省达县地区↑ | 万源市 | 513002 | 国务院批准 民政部7月14日批复同意 民行批〔1993〕151号 |
其他县级行政区划变更列表 > 县级行政区划行政机构迁移

| 行政单位 | 行政单位 | 所属省市（地区） | 变更方式 | 变更时间与批文 |
| --- | --- | --- | --- | --- |
| 镇沅彝族哈尼族拉祜族自治县 | 532726 | 云南省思茅地区 | 镇沅彝族哈尼族拉祜族自治县人民政府驻地由按板镇迁至恩乐镇 | 国务院批准 国务院办公厅11月17日复函同意 国办函〔1993〕89号 |
| 德清县 | 330521 | 浙江省湖州市 | 德清县人民政府驻地由城关镇迁至武康镇 | 国务院批准 民政部11月16日批复同意 民行批〔1993〕233号 |
2020年夏季奥林匹克运动会汤加代表团

2020年夏季奥林匹克运动会汤加代表团是汤加所派出的，因2019冠状病毒病疫情而延期至2021年举办的第32届夏季奥林匹克运动会的代表团，这是该国第十次派代表参加夏季奥运。
田径

条目：2020年夏季奥林匹克运动会田径比赛
汤加有一名田径运动员获外卡邀请，得以参加奥运。
径赛运动员的预赛、1/4决赛和半决赛排名是该运动员所在小组的排名，而非总排名
Q = 直接晋级至下一轮
q = 径赛：因在所有未直接晋级选手中成绩靠前而获得剩下的晋级名额；田赛：未达到晋级标准成绩但总排名靠前
| 运动员 | 项目 | 预赛> 成绩 | 预赛> 排名 | 1/4决赛> 成绩 | 1/4决赛> 排名 | 半决赛> 成绩 | 半决赛> 排名 | 决赛> 成绩 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 隆納·福托菲利（英语：） | 男子100米 | 11.19 SB | 8 | 未晋级 | 未晋级 | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
游泳

条目：2020年夏季奥林匹克运动会游泳比赛
汤加有两名游泳运动员获外卡邀请，得以参加奥运。
| 运动员 | 项目 | 预赛> 时间 | 预赛> 排名 | 半决赛> 时间 | 半决赛> 排名 | 决赛> 时间 | 决赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 阿米尼·福努阿（英语：） | 男子100米蛙泳 | DSQ | DSQ | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
| 諾伊拉尼·戴（英语：） | 女子50米自由泳 | 29.06 | 63 | 未晋级 | 未晋级 | 未晋级 | 未晋级 |
跆拳道

条目：2020年夏季奥林匹克运动会跆拳道比赛
汤加有一名男选手和一名女选手通过奥运跆拳道大洋洲区资格赛获得参赛资格。
| 运动员 | 项目 | 1/8决赛> 对手 比分 | 1/4决赛> 对手 比分 | 半决赛> 对手 比分 | 复活赛> 对手 比分 | 决赛 / 铜牌赛> 对手 比分 | 决赛 / 铜牌赛> 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 皮塔·陶法托夫瓦 | 男子80公斤以上级 |  拉林（俄罗斯奥林匹克委员会） 负 3–24 PTG | 未晋级 | 未晋级 |  特拉伊科维奇（斯洛文尼亚） 负 1–22 PTG | 未晋级 | 7 |
| 瑪麗亞·帕塞卡 | 女子67公斤级 |  威廉斯（英国） 负 0–11 RSC | 未晋级 | 未晋级 |  馬拉克（埃及） 负 0–19 | 未晋级 | 7 |
举重

条目：2020年夏季奥林匹克运动会举重比赛
汤加有一名举重选手获三方委员会邀请，取得奥运参赛资格。
| 运动员 | 项目 | 抓举> 结果 | 抓举> 排名 | 挺举> 结果 | 挺举> 排名 | 总计 | 排名 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 奎妮妮·瑪努默阿（英语：） | 女子87公斤以上级 | 103 | 8 | 125 | 9 | 228 | 8 |
参考资料

↑   (PDF). IOC. 2021-07-23  [2021-08-04]. （原始内容 (PDF)存档于2021-08-02）.
↑   (PDF). IOC. 2021-08-08  [2021-08-14]. （原始内容 (PDF)存档于2021-08-10）.
↑   (PDF). Tokyo 2020. 2021-07-26  [2021-08-14]. （原始内容 (PDF)存档于2021-08-03）.
↑   (PDF). FINA. 2021-07-14  [2021-07-17]. （原始内容 (PDF)存档于2021-07-14）.
↑  . World Taekwondo. 2020-02-29  [2020-03-11]. （原始内容存档于2020-03-15）.
↑  . NBC Olympics. 2020-02-28  [2020-02-29]. （原始内容存档于2020-03-12）.
↑  . Inside the Games. 2021-06-27  [2021-07-04]. （原始内容存档于2021-06-27）.
326国道

「」至此。关于高速铁路列车车次，请见「」。
|  326国道 |
| --- | --- |
326国道路綫圖
道路
道路總長: 1,562公里（971英里）
主要连接道路
起點: 重庆秀山
終點: 云南河口县河口口岸 连接 河老高速或 QL.4D（越南语：）（ 越南）
公路系統
中华人民共和国国道
祭山梁子 松树油附近的326国道
326国道（或“国道326线”、“G326线”）是在中国的一条国道，起点为重庆秀山，终点为云南河口县的国道，全程1562千米。
这条国道经过重庆、贵州和云南3个省份。
| 城市名 | 距起点距离 （公里） |
| --- | --- |
重庆市秀山土家族苗族自治县: 0
贵州省沿河土家族自治县: 97
贵州省德江县: 186
贵州省凤冈县: 254
贵州省湄潭县: 294
贵州省遵义市: 373
贵州省金沙县: 463
贵州省大方县: 572
贵州省毕节市: 622
贵州省赫章县: 716
贵州省威宁彝族回族苗族自治县: 791
云南省宣威市: 963
云南省曲靖市沾益区: 1053
云南省曲靖市: 1066
云南省陆良县: 1132
云南省石林彝族自治县: 1192
云南省弥勒市: 1248
云南省开远市: 1337
云南省蒙自市: 1394
云南省屏边苗族自治县: 
云南省河口瑶族自治县（口岸）: 1562
2017年2月11日月食

| 半影月食 2017年2月11日 |
| --- | --- |
 波蘭拉布卡-茲德魯伊，0:51 UTC
 月球由右至左通過地球半影的南部
序號（和數目）: 114 (59 of 71)
持續時間（hr:mn:sc）
半影月食: 4:19:10
接觸（UTC）
半影食始: 22:34:16 (Feb 10)
食甚: 0:45:03
半影食終: 2:53:26
2017年2月11日的半影月食是2017年兩次月食的第一次。它與本田-姆尔科斯-帕伊杜莎科娃彗星最接近地球的時間是在同一天（0.08318 AU）。它也是自2009年2月9日以來首次在元宵節發生的月食。
可見地區

從美洲、歐洲、非洲和亞洲大部分地區都可以看見。
圖片庫

哥倫比亞波帕揚，23:44 UTC
佛羅里達州基西米，0:00 UTC
佛羅里達州坦帕，0:11 UTC
佛羅里達州墨爾本，縮時攝影圖
意大利布拉恰诺，0:29 UTC
喬治亞州梅肯，0:38 UTC
伊利諾伊州內珀維爾，1:23 UTC
奧地利因斯布鲁克，~2:00 UTC
相關的食 > 太陰年

| 2016–2020的月食系列 |
| --- | --- | --- | --- | --- | --- | --- |
| 降交點 | 降交點 | 降交點 |   | 升交點 | 升交點 | 升交點 |
| 沙羅 | 觀測 日期 | 種類 |   | 沙羅 | 觀測 日期 | 種類 |
| 109 | 2016年8月18日  | 半影月食  |   | 114  | 2017年2月11日  | 半影月食  |
| 119  | 2017年8月7日  | 月偏食  |   | 124 | 2018年1月31日  | 月全食  |
| 129 | 2018年7月27日  | 月全食  |   | 134 | 2019年1月21日  | 月全食  |
| 139 | 2019年7月16日  | 月偏食  |   | 144 | 2020年1月10日  | 半影月食  |
| 149 | 2020年7月5日  | 半影月食  |   |  |  |  |
|  |  |  |   |  |  |  |
| 上一序列 | 2016年9月16日 | 2016年9月16日 |   | 上一序列 | 2016年3月23日 | 2016年3月23日 |
|  |  |  |   |  |  |  |
| 下一序列 | 2020年6月5日 | 2020年6月5日 |   | 下一序列 | 2020年11月30日 | 2020年11月30日 |
相關的食 > 沙羅序列

它是沙羅週期114的一部分。
參看

月食列表和21世紀月食列表
外部連結

2017 Feb 11 chart: Eclipse Predictions by Fred Espenak（英语：）, NASA/GSFC
11 Feb 2017 - Penumbral Lunar Eclipse - Penumbral Lunar Eclipse（页面存档备份，存于）
Pakistan to witness lunar eclipse on February 11（页面存档备份，存于）
张超 (清朝)

与「」標題相近或相同的条目页，請見「」。
张超，浙江桐乡人，清朝政治人物。进士出身。
順治十二年（1655年）乙未科进士。十四年（1657年）接替郑明良任江南华亭县知县一职，三年后由杨必祯接任。
有弟张圆真。
参考资料

编纂委员会. . 上海: 上海社会科学院出版社. 2001年. ISBN 7-80618-881-9.
碳酸銫

| 碳酸銫 |
| --- | --- |

IUPAC名 Caesium carbonate
别名: 碳酸銫
识别
CAS号: 534-17-8  Y
PubChem: 10796
ChemSpider: 10339
SMILES:    [Cs+].[Cs+].[O-]C([O-])=O 
InChI:    1/CH2O3.2Cs/c2-1(3)4;;/h(H2,2,3,4);;/q;2*+1/p-2 
InChIKey: FJDQFPXHSGXQBY-NUQVWONBAO
EC编号: 208-591-9
性质
化学式: Cs2CO3
: 325.82 g/mol g·mol⁻¹
外观: 白色粉末， 極易潮解
密度: 4.072 g/cm3
熔点: 610 °C（分解）
溶解性（水）: 2605 g/L (15 °C)
溶解性: 110 g/L
危险性
警示术语: R：R36/37/38-R68
安全术语: S：S26-S36/37/39
欧盟编号: 沒列明
主要危害: 有刺激性
闪点: 不易燃
致死量或浓度：
LD50（中位剂量）: 2333 mg/kg（大鼠经口） 2170 mg/kg（小鼠经口）
相关物质
其他阴离子: 氟化銫 氯化銫 溴化銫
其他阳离子: 碳酸鋰 碳酸鈉 碳酸鉀 碳酸銣
若非注明，所有数据均出自标准状态（25 ℃，100 kPa）下。
碳酸銫（英語：）是一種無機化合物，屬於碳酸鹽，化學式為Cs2CO3。
制備

可由碳酸銨與氫氧化銫反應制得。
參考資料

↑  Weast, Robert C. (编).  62nd. Boca Raton, FL: CRC Press. 1981: B-91. ISBN 0-8493-0462-8.
↑  日本化学会編　『新実験化学講座　無機化合物の合成II』　丸善、1977年
北角 (消歧義)

北角可能是：
香港：
北角，香港島上的北角
北角邨，已拆卸的公共屋邨，位於香港島北角
北角 (南丫島)，南丫島上的北角
北角村，南丫島北角的鄉村
白角 (屯門)，屯門已消失海角，又名北角
挪威：
北角 (挪威)（Nordkapp），挪威的北角
北角 (市镇)（Nordkapp），该北角所处的同名市镇
電影：
一齣2011年上映的電影
北代托納 (佛羅里達州)

| 北代托納 |
| --- | --- |
非建制地區
北代托納北代托納在佛羅里達州的位置
坐标：29°27′09″N 81°23′58″W﻿ / ﻿29.45250°N 81.39944°W﻿ / 29.45250; -81.39944
國家: 美国
州份: 佛羅里達州
縣: 弗萊格勒縣
海拔: 2 公尺（7 英尺）
时区: 北美东部时区（UTC-5）
 • 夏时制: EDT（UTC-4）
電話區號: 386（英语：）
地名信息系统ID: 295139
北代托納（英語：）是位於美國佛羅里達州弗萊格勒縣的一個非建制地區。該地的面積和人口皆未知。
地理

北代托納的座標為29°27′09″N 81°23′58″W﻿ / ﻿29.45250°N 81.39944°W﻿ / 29.45250; -81.39944，而該地的平均海拔高度為2米（即7英尺）。
參考文獻

1 2  . . United States Geological Survey.
包科尼圣伊万

| 包科尼圣伊万 Bakonyszentiván |
| --- | --- |
   旗幟 徽章
坐标：47°23′24″N 17°40′14″E﻿ / ﻿47.39°N 17.6706°E﻿ / 47.39; 17.6706
国家: 匈牙利
州: 维斯普雷姆州
面积
 • 总计: 9.14 平方公里（3.53 平方英里）
人口（2010年）
 • 總計: 220人
 • 密度: 24.1人/平方公里（62人/平方英里）
时区: CET（UTC+1）
 • 夏时制: CEST（UTC+2）
包科尼圣伊万（匈牙利語：）是匈牙利维斯普雷姆州帕波区所辖的一个村，位于維斯普雷姆州北部，总面积9.14平方公里，总人口220，人口密度24.1人/平方公里（2010年1月1日）。
勞蒂峰

47°04′16.1″N 9°01′41.6″E﻿ / ﻿47.071139°N 9.028222°E﻿ / 47.071139; 9.028222
勞蒂峰（Rautispitz），是瑞士的山峰，位於該國東部，由格拉魯斯州負責管轄，屬於施維茨阿爾卑斯山脈的一部分，海拔高度2,283米，每年平均降雨量1,954毫米。
外部連結

Rautispitz on Hikr （页面存档备份，存于）
勞特拉羅特赫爾納山

46°34′02″N 8°09′12″E﻿ / ﻿46.56722°N 8.15333°E﻿ / 46.56722; 8.15333
勞特拉羅特赫爾納山（Lauteraar Rothörner），是瑞士的山峰，位於該國南部，由伯恩州負責管轄，屬於伯爾尼茲阿爾卑斯山脈的一部分，海拔高度3,478米，每年平均降雨量2,465毫米。
外部連結

Lauteraar Rothörner on Hikr （页面存档备份，存于）
包科尼圣拉斯洛

| 包科尼圣拉斯洛 Bakonyszentlászló |
| --- | --- |
   旗幟 徽章
坐标：47°23′15″N 17°48′03″E﻿ / ﻿47.3875°N 17.8007°E﻿ / 47.3875; 17.8007
国家: 匈牙利
州: 杰尔-莫雄-肖普朗州
面积
 • 总计: 38.51 平方公里（14.87 平方英里）
人口（2011年）
 • 總計: 1,764人
 • 密度: 45.8人/平方公里（119人/平方英里）
时区: CET（UTC+1）
 • 夏时制: CEST（UTC+2）
包科尼圣拉斯洛（匈牙利語：）是匈牙利杰尔-莫雄-肖普朗州所辖的一个村。总面积38.51平方公里，总人口1764，人口密度45.8人/平方公里（2011年1月1日）。
罗纳德·布劳提甘

罗纳德·布劳提甘，1981年
罗纳德·布劳提甘（英語：，1954年—），荷兰音乐会钢琴家，演奏風格以使用古钢琴演奏贝多芬的钢琴作品而闻名 。
生平和职业

罗纳德·布劳提甘出生於阿姆斯特丹，並在阿姆斯特丹跟隨揚·維恩（英语：）學習鋼琴技巧，歲後他便離開了先後分別前往倫敦與John Bingham學習鋼琴技巧，後來前往美國跟隨鲁道夫·塞尔金學習鋼琴技巧。1984年获得了荷兰音乐大奖（Nederlandse Muziekprijs）。 2015年，他彈奏的贝多芬录制专辑获得了爱迪生奖和德国唱片评论家年度奖。
布劳提甘与妻子玛丽（Mary）一起住在阿姆斯特丹。2011年9月起，他成为了巴塞尔音乐学院音乐大学的教授。
专辑

格里格、埃尔加、西贝柳斯：小提琴与钢琴作品；伊莎贝尔·范·库伦（英语：）（小提琴）；厂牌：Challenge
贝多芬、海顿、莫扎特：钢琴独奏作品全集；在保罗·麦克诺提仿制的格拉夫、瓦尔特及史坦因钢琴上演奏；厂牌：Bis Records
门德尔松：钢琴协奏曲；在保罗·麦克诺提仿制的普莱耶尔钢琴上演奏；厂牌：Bis Records
肖斯塔科维奇：第一钢琴协奏曲；彼得·马瑟斯（荷兰语：）（小号）、皇家音乐厅管弦乐团、里卡多·夏伊（指挥）；厂牌：London Classics
普罗科菲耶夫、舒伯特、杜替耶、若利韦：长笛与钢琴作品；莎朗·貝薩利（英语：）（长笛）；厂牌：Bis Records
马克斯·雷格：中提琴作品；今井宣子（英语：）（中提琴）；厂牌：Bis Records
參考資料

↑  . BBC Radio 3.   [2014-02-03]. （原始内容存档于2014-01-29）.
↑  . Penn Libraries.   [2021-03-11]. （原始内容存档于2021-05-08） （英语）.
1 2  . Neumarkter Konzertfreunde e.V.   [2021-03-11]. （原始内容存档于2021-07-09）.
↑  Prof. Ronald Brautigam. .   [2021-06-30]. （原始内容存档于2021-07-11）.
參見

古典音乐主题
包科尼奥

| 包科尼奥 Bakonya |
| --- | --- |
坐标：46°05′09″N 18°05′02″E﻿ / ﻿46.0857°N 18.0838°E﻿ / 46.0857; 18.0838
国家: 匈牙利
州: 巴兰尼亚州
面积
 • 总计: 15.07 平方公里（5.82 平方英里）
人口（2011年）
 • 總計: 379人
 • 密度: 25.1人/平方公里（65人/平方英里）
时区: CET（UTC+1）
 • 夏时制: CEST（UTC+2）
包科尼奥（匈牙利語：）是匈牙利巴兰尼亚州所辖的一个村。总面积15.07平方公里，总人口379，人口密度25.1人/平方公里（2011年1月1日）。
北海道道385号长和停车场线

|     北海道道385号长和停车场线 |
| --- | --- |
管理方: 北海道[*]
主要连接道路
起點: 北海道伊達市長和町
: 国道37号
終點: 北海道伊達市長和町
公路系統
一般道道
北海道道385号长和停车场线（日语：）是一条连结北海道伊達市的国道37号交点和室蘭本線长和车站的普通道级道路（北海道道）。
概要

起点：北海道伊達市長和町（国道37号交点）
終点：北海道伊達市長和町（室蘭本線長和站）
经过的自治体

胆振综合振兴局
伊達市
相交叉和连结的道路

国道37号（起点）
北角 (南喬治亞群島)

53°58′S 37°44′W﻿ / ﻿53.967°S 37.733°W﻿ / -53.967; -37.733
北角（英語：），是南極洲的海岬，位於南喬治亞群島，在1775年由詹姆斯·庫克率領的英國探險隊繪入地圖，該海岬現時由英國海外領土管轄。
參考資料

本条目引用的公有领域材料来自美国地质调查局的文档《North, Cape》 （資料來自地名信息系统）。
单蛙蛭

| 单蛙蛭 |
| --- | --- |

科学分类 
界：: 动物界 Animalia
门：: 環節動物門 Annelida
纲：: 环带纲 Clitellata
目：: 吻蛭目 Rhynchobdellida
科：: 舌蛭科 Glossiphoniidae
属：: 蛙蛭属 Batracobdella
种：: 单蛙蛭 B. singularia
二名法
Batracobdella singularia (Oka, 1931)

单蛙蛭（学名：）为舌蛭科蛙蛭属的动物。在中国大陆，分布于浙江等地，一般栖息于蛙体上。该物种的模式产地在中国。