ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
晴れ姿!三人娘の聖なる力
美麗的姿態 三個少女的神聖力量
必死の反撃!ダ?サイダー散る
致命的反擊，蘋果酒豁出去了
ホイホイ城崩壊!さらばタマQ
匆匆城崩塌 再會了，蛋Q
まだ続くの!?破壊戦士現わる
還沒完嗎？破壞戰士出場
ヘビメタコ裏切りのバラード
蛇魚子的背叛敘事詩
代理戦爭!?命をかけたギャグ
代理戰爭，賭命笑話大賽
一ノ瀬つとむ
必殺!?破壊ニンジャ武蕓帖
必殺，破壞戰士忍者武藝帖
テントチ塔!海中島の戦い
天道基塔，海中島之戰
ほらっホラー!枯れ木の森の怪
看啊，骷髏，枯葉森林之怪
結城司、松浦尚之
リトルロマンス…君の名は!?
小小羅曼史．．．請問芳名
交代劇!ひび割れた愛と友情
交換戲碼：分裂的愛與友情
安東信悅、勝亦祥視
風に舞う!お花畑は危険地帯
飛舞在風中，花田是危險地帶
大決戦!燃えろラムネス
大決戰!燃燒吧，檸檬汽水
40集う!熱血パワーよ永遠に
大集合!永遠的熱血威力
斉藤卓也、菅沼栄治
新たに旅立て愛の戦士たち
踏上新的旅程，愛的戰士們
愛の戦士たち過去へ…
愛的戰士們，回到過去
愛の戦士たち永遠に！
愛的戰士們，迎向永恆
勇者ラムネス」（第1～28話）
」（第29～38話）
*co：橫山智佐、松井菜櫻子、玉川紗己子
*「男と女はパピプペポ」（第1～28話）
*「シアワセになるでんna」（第29～38話）
*主唱：橫山智佐、松井菜櫻子、玉川紗己子
*「ララバイ☆あ?げ?た?い」
*主唱：橫山智佐、玉川紗己子、松井菜桜子
キングスカッシャー」
*作詞:紅玉 作曲:乃沢大二郎 編曲:乃沢大二郎 歌:草尾毅
*NG騎士檸檬汽水&40 EX 畢克龐貝達城冒險 愛的狂瀾大作戰(NG騎士ラムネ&40EX ビクビクトライアングル 愛の嵐大作戦)
*NG騎士檸檬汽水&40 DX 擔心害怕空間 火焰大搜查戰(NG騎士ラムネ&40DX ワクワク時空 炎の大捜査戦)
*NG騎士檸檬汽水&40 EX2 ユラユラ銀河帝國 大混戰（作者：中原れい）
*NG騎士檸檬汽水&40（作者：よしむらひでお）
*熱血大作戦！！（作者：松秋あきら、奧谷かひろ、佐原一光、くら☆りっさ、影次ケイ、富本たつや、あらいずみるい、仲原れい、他）
*熱血パワ―大冒険！！パロディ競作集（作者：あらいずみるい、せたのりやす、冬凪れく、MS-17、沙那、杉原みずえ、高都みんく、他）
*熱血天空旅日記（作者：奧谷かひろ）※『天空戦記シュラト』同時収録
小說除了あかほりさとる的著作外，其餘皆由角川書店發行。
*NG騎士檸檬汽水&40 EX ビクビクトライアングル 愛の嵐大作戰
*NG騎士檸檬汽水&40 外傳 ダ?サイダ─傳說
*NG騎士檸檬汽水&40 EX2 ユラユラ銀河帝國 大混戰
*NG騎士檸檬汽水&40 外傳2 ココアの戀の物語
*NG騎士檸檬汽水&40 EX3 ラスト?ラスト
*NG騎士檸檬汽水&40 外傳3 レスカの愛の物語
*NG騎士檸檬汽水&40 XX
*NG騎士檸檬汽水&40 DJスペシャル
*NG騎士檸檬汽水&40 DX ワクワク時空 炎の海賊盤
單棘魨（學名：），又名中華單角魨、中華角鈍、剝皮魚，為單棘魨科單角魨屬下的一個種，分布于印度-西太平洋海域沿海。
本魚魚體呈黃色，上有不規則的暗色小點，有時它們會集結成塊或斜帶。尾鰭末緣圓，其上緣的軟條會延長成絲狀又宛如一「S」形，腹鰭膜極大，且向後延伸遠超過特化鱗，收縮時特化鱗未達肛門，體鱗大，體側各鱗在中心有一強棘，有時在基部尚有小棘，在尾柄中軸不上下方有自基底向頭部方向生長的逆棘4~6枚。背鰭軟條與臀鰭透明，具黑細線形成的網紋；臀鰭基部前後各有一斑。體長可達32公分。
本魚棲息在淺海的沙地，或巖礁與沙地相鄰的地區，屬雜食性，以底棲動物、藻類或小魚等為食。
為可愛的觀賞魚，也可食用，食用時剝皮切片鹽醃燒烤。
雅絲明·華沙美（Yasmin Warsame，）為索馬利亞人，在十多歲時移居至加拿大，在二十多歲時才正式開始模特兒事業。雖然她比同期新人年長，但她憑著出眾的外型而發展得相當不俗。她曾為Chanel、Dolce & Gabbana、H&M、Revlon等著名品牌拍攝廣告。在2007年更為加拿大超級名模生死鬥擔任評判。
庫爾特·斯圖登特（Kurt Student，）是德國空軍大將、德軍傘兵的首創者。第一次世界大戰時任戰鬥機飛行員；第二次世界大戰時是德國傘兵部隊—空降獵兵（Fallschirmsjaeger）司令。
斯圖登特出生在普魯士布蘭登堡省的Landkreis名為Birkholz村鎮，現時在波蘭境內。
斯圖登特在1910年加入德意志帝國軍隊，當時是預備軍官，於1911年3月升中尉。他最初在一個獵兵營服務，1913年被選派接受飛行駕駛訓練。第一次世界大戰開始後，屬第17野戰飛行隊的他在東戰場加利西亞前線作戰至1916年，稍後被調派至西戰場，於第三軍團的不同空軍單位服役，包括自1916年10月到1917年5月指揮第9戰鬥機中隊。從1916年至1917年，他取得六次空戰擊敗法國飛機的成績。
德國戰敗後，「凡爾賽條約」禁止德國擁有空軍，但斯圖登特努力嘗試避免德國在空軍科技落後。戰後他被委派從事軍事研究及發展。由於「凡爾賽條約」沒有禁止德國有滑翔機，他開始關注它們。他也有實地觀看蘇聯空軍的演習，在那裡他首次接觸空降作戰的概念。
希特勒上臺後，秘密重建德國空軍，把斯圖登特從陸軍調到空軍。戈林任命斯圖登特為空軍的訓練學校的首長。當德國在1935年宣佈拋棄「凡爾賽條約」後，斯圖登特的職位變成正式。1938年7月他被任命為「德軍空運與空降部隊」司令，9月統領德軍首個空降師第七航空師。
雖然這傘兵師沒有參與波蘭戰役，很快他便有顯示傘兵作戰價值的機會：1940年攻法國閃電戰，德軍先行掃蕩低地小國群，德軍第七航空師降落在比利時仗峙的防線重鎮「Eben-Emael」後方並輕鬆突襲攻佔，可是在1940年5月攻佔荷蘭鹿特丹戰鬥時，他在鹿特丹充作司令部的辦公室窗邊意外被開槍慶祝的武裝親衛隊“阿道夫·希特勒警衛旗隊”的士兵擊中頭部，經搶救得免，此傷讓他療養8個月才康復又回到戰場作戰。他因為在上述數場戰鬥中領導作戰表現英勇傑出，希特勒頒發騎士鐵十字勳章表揚他。
1941年1月，他奉命領導新組建的第十一空降軍。他在此職位策劃了5月空降希臘克里特島的「水銀行動」(Unternehmen Merkur)作戰。作戰雖然成功，但是傷亡太大，讓希特勒對傘兵作戰信心開始動搖，再也不準德軍師級以上大部隊傘兵空降作戰。
1943年斯圖登特策劃軍事代號「橡樹行動」 (''Unternehmen Eiche'')，這項令各方矚目的成功突擊行動是以數架STOL滑翔機載傘兵到義大利山上作戰救出被盟軍關押的墨索里尼；眾所周知突擊隊長是黨衛軍校官奧托·斯科爾茲內；斯圖登特也因為策略生效又榮獲橡葉騎士鐵十字勳章。
斯圖登特後又被派到義大利與法國領導作戰，也參與了防禦盟軍諾曼地登陸戰鬥；他率領第一傘兵軍團在安恆市附近反擊盟軍，這就是挫敗盟軍的市場花園行動，之後1945年又派他增援東戰場德軍於梅克倫堡抵抗紅軍，沒多久又調回德國；4月他在石勒蘇益格-赫爾施泰因被英軍俘虜，直至1948年才獲釋；著作《回憶錄》是研究第二次世界大戰德軍傘兵作戰代表作。令人意外的是，施圖登特作為德國空降兵的締造者，因為一直擔負整個行動的統籌和地面指揮任務，從未投入過一次空降突擊行動中去，因此并沒有獲得過被稱為“德國空降兵的身份證章”的“空軍（早期由陸軍頒發）空降突擊章”。
* http://www.theaerodrome.com/aces/germany/student.php
* http://www.bridgend-powcamp.fsnet.co.uk/Generaloberst%20(Luftwaffe)%20Kurt%20Arthur%20Benno%20Student.htm
USB+雙FireWire硬碟盒，已安裝IDE硬碟
硬盤盒（Disk enclosure，又稱硬碟外接盒）是一種計算機設備，內部容納硬盤并供電驅動，外部提供USB或Firewire等數據接口以和計算機連接。
硬盤盒有殼體，數據接口轉換芯片組，數據線，與電源部分構成。
*''殼體''——為硬盤或者光驅提供物理上的保護，如減震，防塵，屏蔽電磁干擾等
*''芯片組''——負責數據傳輸與轉換，將硬盤盒外部接口介面接受數據轉為內部接口，傳輸給硬盤
*''數據線''——由芯片組決定接口，如Firewire/IEEE 1394，并口，或是最流行的USB。
*''電源''——對于2.5寸硬盤來說，更多選擇從USB口取電；而3.5寸硬盤不得不增加一個外部電源適配器，提供硬盤需要的Molex接口供電。
芯片組可以看作是硬盤盒的心臟，直接決定了硬盤盒的傳輸性能。目前市面上主流的USB3.0控制芯片都來自臺灣、美國和日本，其中臺灣的創惟科技（Genesys Logic），揚智科技（ALi），美國的Cypress，日本的NEC，是公認的幾大供應商。他們的芯片質量和穩定性都較為出色的。
在眾多芯片中，中高端的主要有美國Cypress的ISD300A1、CY7C68300A 、CY7C6830310，臺灣揚智科技的ALi M5642， 日本NEC的μPD720130、μPD720133，世紀民生的CS8818G、臺灣創惟科技GL811E。
而低端的芯片組主要以臺灣創惟科技GL811（與上面的811E有區別）、PL250X系列最為常見，另外安國科技的AU6390也是最近采用較多的一款低價格芯片。
電腦配件圖中，15是硬碟盒
硬盤盒主要按物理大小劃分：
*2.5英寸——容納筆記本硬盤
*3.5英寸——容納臺式機的3.5英寸硬盤，需要額外供電
*5.25英寸——容納光驅或刻錄機
也可以按硬盤盒外部接口劃分：
*''Parallel ATA/IDE''
硬盤盒選購需注意以上區別，以免購買無法使用產品。
市面上有銷售不帶殼子的產品，稱為易驅。產品僅包括一根轉換接口的數據線。
一類特殊的硬盤盒，除了硬盤盒本身的功能外，還具有讀卡器與屏幕，可以在無需電腦的情況下，將存儲卡中的內容傳輸到硬盤中。
該產品解決一些攝影者旅游外拍，卡容量不足的窘境。存儲卡單位容量價格不如硬盤低廉，故使用硬盤來存儲大量照片是較劃算的選擇。
有些數碼伴侶還有影音功能，甚至有GPS導航能力。
*硬盤/硬式磁碟機（硬盤/硬碟機/硬碟）
*易驅/三合一USB傳輸線（2.5"IDE/3.5"IDE/SATA轉USB 2.0）
彌海砂是大場鶇和小畑健所合著的日本漫畫《死亡筆記本》及其改編作品中的一位虛構角色。她是著名模特兒。她尋找連環殺手奇樂（夜神月）並支持他消除罪犯、建立新世界的理想。她從死神雷姆手中取得死亡筆記本——一本允許任何人只要透過知道對方的姓名及長相就能殺死對方的筆記本——同時、她與雷姆進行交易以協助夜神月，她接受了死神之眼、讓她只要看著人臉就能得知該人姓名。雖然海砂非常愛夜神月，但夜神月只是在利用她。
大場鶇表示早在連載開始前就決定好要設計第二個奇樂，而且必須是可愛的女性，因為只有男性的故事太無聊了。由於夜神月絕對不可能交換眼睛，因此需要有角色來使用死神之眼，而會進行交易的角色必須是行動力強、但不聰明的；而且這個角色必須深愛著月，才能受月的控制。海砂的性格就是在上述的條件下被設計出來的。
大場決定讓海砂在南空直美死後登場，他和小畑健很自然地有了哥德蘿莉這個共識，因為與死神界的世界觀相符合。不過太過頭的哥德蘿莉會讓人退避三舍，因此只是適度。在第33話中，拘束海砂的場景有踰越少年雜誌尺度的危險，因此將標題放在畫面中間予以緩和。大場對此表示意外。
當尼亞和梅洛登場、而海砂變成超級偶像時，大場決定將海砂的風格改得更大眾化。當被問到哪個角色最難畫時，小畑選擇海砂，因為他無法理解「為了心愛的人什麼都願意做」的想法。
在漫畫中，海砂穿著十架苦像外型的首飾，改編動畫中將其刪除。
在為主要角色分配主題色彩時，分配給海砂的顏色是粉紅色和黑色。
海砂是一位知名模特兒、歌手和演員。由於月殺死了當年殺死自己雙親的強盜，因此她非常感謝月，當她第一次見到月時便對他一見鍾情。佔有慾強，天真單純。雖然她擁有如同月一樣的筆記本，還擁有比月更強的力量，但她只想協助月的計劃、也可以為了他放棄筆記本的所有權。月打從心裡只是在利用她。
在故事中、海砂曾經因為傑拉斯和雷姆這兩位死神捨命襄助而二度延壽，也曾因為兩度交易眼睛而使剩餘壽命二度減半。海砂的筆記本來自於傑拉斯，他是暗中愛慕著海砂的死神，看見海砂被人襲擊、便將該人殺死。由於死神如果救人性命就會讓自己死亡，因此傑拉斯死了，見證一切的雷姆把他的筆記本取走、交給海砂。
在故事最後，海砂被月留在帝東飯店裡。根據作者推測，可能是松田或其他人走漏月的死訊，而得知死訊的海砂在隔年的情人節自盡。
動畫新聞網的Briana Lawrence認為，雖然海砂是典型的「在主角身邊的惱人女孩」，但身為一個普通人的她出現在天才環伺的對決裡，反而會使狀況變得更複雜，夜神月必須分出心思去注意海砂，這種戒備的態度形同、或更甚於他與L的對決。他很失望故事結尾沒有明示海砂的命運。
IGN的編輯Tom S. Pepirium認為海砂在劇中的表現是差勁且討人厭的，她指出這個角色對奇樂的愛慕就像搖尾討好人類的貴賓狗，將她與《星際大戰》的恰恰·賓客斯相提並論，並把她與狂歡三寶裡的小冬做比較。他希望海砂可以是一個更嚴肅的角色，而不只是一個為愛瘋狂的大眼睛漫畫角色。
戶田惠梨香認為海砂的性格複雜且迷人，她讚賞海砂為愛付出一切，儘管海砂和夜神月為了讓世界更美好、使罪犯更少而使用了形同犯罪且可怕的死亡筆記本。
德氏猴（''Teilhardina''）是早期像狨的靈長目，生存於5900-4700萬年前古新世晚期至始新世中期的非洲、美洲及亞洲。牠們的名字是以古生物學家及哲學家德日進（Teilhard de Chardin）命名。
德氏猴的分類並不清楚，有可能是一個複系群。當中的兩個物種：百吉卡德氏猴及亞洲德氏猴似乎屬於簡鼻亞目，但卻同時又是現今眼鏡猴及類人猿下目的祖先。德氏猴屬應該只有這兩個物種，其他的似乎是屬於始鏡猴科的另一個屬。
東倫敦線是位於倫敦東部的一條重型鐵路路線，大致呈南北走向。它於1869年通車，途經世界上最古老的水下隧道泰晤士隧道，連接泰晤士河兩岸的鐵路幹線。
該線最初主要供貨運列車行駛，後來轉型為通勤鐵路，並曾於20世紀後期成為倫敦地鐵的一條行車路線。2000年代，倫敦交通局為該線進行系統更新及延伸，連接倫敦南部的近郊鐵路，並使其改屬倫敦地上鐵。延伸路線由2010年至2012年間分段啟用。
本條目依據東倫敦線在不同時期的使用狀況，將其歷史分為四個主要階段。
此線源起於首條穿越泰晤士河、由馬克·布魯內爾及伊桑巴德·金德姆·布魯內爾父子興建的泰晤士隧道。此隧道原定讓馬車使用，但布魯內爾父子因經費問題而沒有建造讓車輛進出隧道的匝道。於是，隧道在1843年啟用後僅供行人使用。在隨後的二十年，隧道成為了犯罪溫床：妓女在隧道內兜搭、竊賊亦十分猖獗。
後來，隧道所在的泰晤士河兩岸建成了東西走向的鐵路，加上隧道位處倫敦碼頭區，鄰近貨船停泊和裝卸的碼頭，有關鐵路的持份者希望利用泰晤士隧道，連接兩岸的鐵路幹線和碼頭。1865年，東倫敦鐵路公司成立，以80萬英鎊買下了泰晤士隧道，並在其兩端興建鐵路，連接大東部鐵路、東南鐵路以及。
東倫敦鐵路由1869年起分五段通車：
* 1869年12月7日：首段由倫敦、布萊頓與南岸鐵路的新十字站（今新十字門站）至泰晤士隧道北端入口的威平站通車，中途設疊福路（Deptford Road）及洛特希兩站。
* 1871年3月13日：由疊福路站以南引出、連接內南倫敦線的聯絡線通車，中途未設車站。
* 1876年4月19日：威平站至利物浦街站通車，沿途設沙特維、白教堂、梳迪治三站。
* 1880年4月1日：另一條連接東南鐵路新十字站的支線通車。
* 1884年3月3日：自白教堂站以南向西伸延的支線通車。當時大都會鐵路與大都會區域鐵路正在完成環線並興建延伸線往白教堂站。此支線由該年10月起成為連接東倫敦鐵路與大都會區域鐵路的聯絡線，地鐵列車開始經此線服務東倫敦鐵路。
東倫敦鐵路沒有自己的列車，所有列車服務皆由連接它的鐵路公司提供。1884年，大都會鐵路與大都會區域鐵路在使用此鐵路的同時，與大東部鐵路、東南鐵路、和倫敦、布萊頓與南岸鐵路共同租用東倫敦鐵路。除了大都會鐵路和大都會區域鐵路以外，其他四所鐵路公司主要利用東倫敦鐵路運送貨物。
1915年的路線圖。東倫敦線大致維持此圖所示的版圖直至2006年延伸工程開始
1911年，連接內南倫敦線的支線關閉，疊福路站隨後更名為素里船塢站（Surrey Docks，以示此站鄰近1913年，梳迪治站至''兩座''新十字站的鐵路以第四軌電氣化，此後所有客運服務均由大都會鐵路擔當。1923年，英國的鐵路公司進行大重組，新成立南部鐵路公司接收了東南鐵路、倫敦、漆咸與多佛爾鐵路與倫敦、布萊頓與南岸鐵路，成為佔東倫敦鐵路一半股權的大股東。然而，在東倫敦鐵路提供服務的公司仍是大都會鐵路和（接收了大東部鐵路的）倫敦與東北鐵路。為了避免造成混亂，原屬倫敦、布萊頓與南岸鐵路的新十字站在大重組時更名為新十字門站。
1933年，為東倫敦鐵路營辦客運服務的大都會鐵路被公營的取代，而東倫敦鐵路則於1948年鐵路國有化時正式撥歸倫敦地鐵所有。
貨運列車繼續使用東倫敦鐵路直至1960年代，其後從東倫敦鐵路連接其他主線鐵路的聯絡線陸續關閉及被拆除，餘下梳迪治至新十字／新十字門的路段繼續提供列車服務。在成為倫敦地鐵一部份之後，東倫敦鐵路一度以「大都會線──東倫敦分支」的名義出現在路線圖和標誌上，直至1980年代後期恢復獨立身份。
大都會鐵路亦曾經提供由新十字站或新十字門站往返南肯辛頓站的列車服務。該服務後來改為往返漢默史密斯站，並於1941年停辦。而原有來往梳迪治站的服務亦遭削減，以至在後期，除了在繁忙時間及星期日早上以外，列車均以白教堂站為北面總站。
1987年，碼頭區輕鐵開通，沙特維站成為該輕鐵與東倫敦線的轉乘車站。1989年，配合素里商用船塢地區重建發展，素里船塢站更名為素里碼頭站（Surrey Quays）。
行走東倫敦線的
東倫敦線於1995年全線停運，以便興建配合銀禧線延長而設立的轉乘車站──加拿大塘站，並順道為泰晤士隧道進行復修工程。由於保育團體對泰晤士隧道的復修計劃提出訴訟，原定六個月的停運期延長至三年之久。大部份路段於1998年3月重新通車，但北端的梳迪治站因為需要額外加裝安全設施，直至1998年9月才重新開放。至於加拿大塘站則於1999年隨著銀禧線延伸段落成而啟用。
由於東倫敦線與大都會鐵路有密切關係，即使在公有化後，倫敦地鐵基本上仍派遣大都會線的列車行走東倫敦線。由1970年代直至2007年倫敦地鐵終止服務東倫敦線為止，一直是東倫敦線的主力。
在隸屬倫敦地鐵時期，東倫敦線是該系統內唯一一條沒有車站處於的路線──沿線九座車站皆位於。
自1980年代起，倫敦交通局就開始研究延長東倫敦線。當時提出過的方案包括：將東倫敦線轉為輕鐵、重新興建聯絡線連接利物浦街站等。1990年代，延長東倫敦線的議案多次被提上議事日程，但當時倫敦地鐵緊絀的財政狀況使這些提案全被否決或擱置。
東倫敦線延伸計劃路線圖
在新的撥款安排下，英國政府於2001年正式啟動東倫敦線的延伸計劃。延伸工程分為三個主要部份：
* 在新十字門站興建聯絡線連接布萊頓主線（第一期南延線），使東倫敦線列車能沿慢線駛至西克羅伊登站。
* 興建一條往北連接多斯頓的延伸線（北延線）。此延伸線大部份沿北倫敦鐵路已廢止的「城市延伸線」興建。沿線其中兩座被廢止的車站被重建，另設兩座新車站，分別取代「城市延伸線」的梳迪治站、以及地鐵東倫敦線的梳迪治站（兩站由於服務地區相近而取相同名稱）。最後，兩座北倫敦線的車站被擴建，成為東倫敦線與北倫敦線的轉乘車站。
* 重建於1910年代被廢棄、往內南倫敦線的聯絡線（第二期南延線），使東倫敦線列車能行駛至克拉珀姆交匯站，與西倫敦線和北倫敦線組成環狀鐵路網絡。
由於南延線使用本身以第三軌電氣化的鐵路，東倫敦線需要由倫敦地鐵所用的第四軌轉為第三軌，而北延線亦因此採用第三軌供電。
北延線的定線經過當時被列為古蹟的，一些人對此表示反對並發起提訴。訴訟持續了兩年，最後法院裁定有關當局勝訴。貨場遺址於2003年開始拆卸，原址改建為一座新車站──梳迪治高街站。這座車站所取代的梳迪治地鐵站於2006年永久關閉，其後被填平，用作興建北延線橫跨大東部主線的天橋。
東倫敦線餘下的路段（白教堂站至新十字站和新十字門站）繼續開放了一年半，直至2007年12月完全關閉，進行更新工程。在鐵路停駛期間，倫敦交通局開辦了四條替代公車服務，由白教堂站或加拿大塘站往返東倫敦線沿線各站，但沒有提供連接泰晤士河兩岸的服務。由於乘客量不足，只有由白教堂站開出的公車服務維持至東倫敦線重開。
2009年，十座在布萊頓主線上的車站移交倫敦地上鐵管理，以配合東倫敦線即將服務這些車站。
延伸後的東倫敦線分四段通車：
* 2010年4月27日：原屬倫敦地鐵的白教堂站至新十字／新十字門站區間，以及連接白教堂站及多斯頓交匯站的北延線，以「預覽」名義開放使用。列車由多斯頓交匯站（Dalston Junction）交替來往新十字站及新十字門站。兩條路線於平日各提供每小時四班列車的服務。
* 2010年5月23日：第一期全線開通。新十字門至西克羅伊登站（West Croydon）及水晶宮站（Crystal Palace）加入東倫敦線服務。兩個總站皆有每小時四班的列車服務，使途經新十字門站的列車班次增加一倍。此外，由當日起東倫敦線擴展至每天均提供清晨至午夜服務。
* 2011年2月28日：多斯頓交匯站至高貝利與艾斯靈頓站（Highbury & Islington）通車。兩座加入東倫敦線的車站──卡農貝利站（Canonbury）及高貝利與艾斯靈頓站（Highbury & Islington）──皆設計成可與北倫敦綫跨月臺轉乘。乘客亦能於高貝利與艾斯靈頓站轉乘地鐵維多利亞線及國鐵北城線。
* 2012年12月9日：連接內南倫敦線的聯絡線通車，東倫敦線服務沿內南倫敦線延伸至克拉珀姆交匯站。
延伸後的東倫敦線普遍獲得倫敦居民的支持。2010年延伸線開通時，有報章以「所屬地區納入地鐵路線圖」的標題報導有關事宜，亦有沿線居民為此舉行慶祝活動。而根據倫敦交通局於2011年的報告，東倫敦線自重新開放後，使用量增長比預期快，到2010年代後期或需要進一步提升服務（如使用較長列車）以增加容量。
另一方面，2012年開通的西延線使往返維多利亞車站與倫敦橋站的內南倫敦線列車服務停運。有沿線居民對此表示不滿，並在通車前到車站抗議。
全線位於大倫敦市內。
維多利亞線、 北倫敦線
達爾斯頓交匯
塔村區、哈克尼區
區域線、 漢默史密斯及城市線、 倫敦交通局鐵路
一列英鐵378型電力動車組列車在水晶宮站
東倫敦線與其他電氣化的倫敦地上鐵路線一樣，以龐巴迪運輸製造的英鐵378型電力動車組提供服務。其中23列行走東倫敦線的英鐵378型列車只能在第三軌軌道上行走，因此它們被編為378/1型，以區別於另一款可以行走高架電纜電氣化軌道的378/2型列車。該款列車有4節車廂，採用橫向座位排列以及較寬闊的連接通道設計，盡量增大容量。每列列車的載客量約為700人。東倫敦線的列車主要在新十字門站北面的車廠進行日常維護。
由2014年起，倫敦交通局逐步為旗下的378型列車加掛一節車廂，使之成為5節車廂的列車。東倫敦線是首條獲派5節列車行走的路線。此外，倫敦地上鐵亦增設新車廠，以彌補新十字門車廠因為改建設施而減少了的停車線數目。
現時東倫敦線有四條服務路線：
* 高貝利與艾斯靈頓站來往克拉珀姆交匯站
* 高貝利與艾斯靈頓站來往水晶宮站
* 多斯頓交匯站來往西克羅伊登站
四條路線各提供每小時4班列車的服務，全部列車皆停靠沿途所有車站。四條路線共同服務的區間（「多斯頓交匯站─素里碼頭站」區間）每小時有16班列車停靠；而有兩條路線共同服務的區間（高貝利與艾斯靈頓站、卡農貝利站，以及「新十字門站─薛登林站」區間），每小時則有8班列車停靠。
四川農業大學（簡稱：川農大，英文： 英文縮寫：SCAU），校本部位于中國四川省雅安市，是一所以生物科技為特色，農業科技為優勢，多學科協調發展的省屬“211工程”大學和“雙一流”世界一流學科建設高校，也是教育部本科教學工作水平評估優秀高校。現任黨委書記莊天慧教授、校長吳德教授。
該校辦學歷史悠久、資源豐富。前身是1906年創辦的四川通省農業學堂，此后歷經四川高等農業學校(1912年)、四川公立農業專門學校(1914年)、公立四川大學農科學院(1927年)、四川省立農學院(1932年)、國立四川大學農學院(1935年)、四川大學農學院(1950年)等多個歷史發展階段。1956年四川大學農學院整體遷至原西康省(1955年撤銷)省會雅安獨立建校為四川農學院，1985年更名為四川農業大學，2001年四川省林業學校整體并入。學校現有雅安、成都和都江堰3個校區，占地總面積約4500畝，館藏文獻資源1165.89萬冊(件)。
1906年 ''四川通省農業學堂''
1912年 ''四川高等農業學校''
1914年 ''四川公立農業專門學校''
1927年 ''公立四川大學農科學院''
1931年 ''四川省立農學院''
1935年 ''國立四川大學農學院''
1950年 ''四川大學農學院''
1956年  當局實行院系調整，農學院從四川大學拆分后遷至雅安獨立建院，成為''四川農學院''
1985年  更名為''四川農業大學''
1996年  成為首批“211工程”重點建設高校
2017年  入選“雙一流”建設高校
清末年間，在全國興學強國的潮流推動下，四川布政使許涵度上奏清廷，希望在四川設立中等農業學堂，1906年（清光緒三十二年）四川通省農業學堂在成都厚載門內寶川局右側舊倉庫內成立，這是四川成立的第一所農業學堂，也是四川農業大學的歷史源頭。
學堂于1906年6月1日先行開學，9月12日正式舉行開學典禮，四川總督錫良在典禮上頒示訓詞：“蜀中沃野千里，古稱陸海。夙以蠶絲之利與世相競，徒以墨守故法，利寖外溢，故不能不提倡農學，以為振興農業之預備”。四川通省農業學堂初設農業、蠶業、林業的預科和本科。
1910年4月，學堂遷往成都東門外望江樓附近的農業試驗場修建新校舍。
1912年辛亥革命后，經四川省軍政府批準改名為四川高等農業學校，設大專部和中專部。
1914年，改名為四川公立農業專門學校，增設農本科、蠶本科。
1927年8月，四川公立農業專門學校與公立法政專門學校、公立工業專門學校、公立外國語專門學校、公立國學專門學校等五所專門學校合并組成公立四川大學，公立農專成為公立四川大學農科學院。
1931年，四川省政府決定，將原公立四川大學的工科、農科改辦獨立學院，農科學院定名為四川省立農學院。
1935年7月，四川省立農學院和重慶大學農學院并入國立四川大學，組建農學院。此后學院有較大發展。
1952年，全國高等學校院系調整，在部分系調出的同時，先后將西南農學院、云南大學農學院、川北大學和西昌技藝專科學校的農藝、林業、畜牧、獸醫專業調入四川大學農學院，為學院發展進一步奠定了基礎。
1956年，經國務院批準，四川大學農學院從成都遷往雅安獨立建校，命名為四川農學院。1956年9月5日四川農學院在雅安舉行成立大會，在校學生1134 人，教職工515人，其中專任教師205人。
1959年，開始招收水稻栽培、獸醫產科、玉米育種、家畜飼養和家禽育種專業三年制碩士研究生。后因“文革”中斷，至1978年恢復。
1985年，經四川省人民政府批準，學校更名為四川農業大學。同年開始招收博士研究生。時任中共中央總書記的胡耀邦同志親筆題寫校名。
1991年，批準設立博士后科研流動站。
1996年和1998年四川農業大學先后通過國家“211工程”建設部門預審和立項審核，學校正式跨入國家重點建設的高校行列。
2001年，進入新世紀，在雅安擴建新校區。
2001年4月，原四川省林業學校整體并入四川農業大學，成為四川農業大學都江堰校區。
2005年，學校在成都溫江區開始建設研究生院和科學研究院，學校已有雅安、都江堰和溫江三個校區。
2010年10月8日，四川農業大學成都校區正式啟用并舉行了開學典禮。至此，四川農業大學“一校三區”辦學格局形成。
2016年9月，成都市人民政府與四川農業大學簽署《深入推進全面創新改革共建世界一流農業大學戰略合作框架協議》。雙方將共同把四川農業大學建設成為世界一流農業大學。
2017年9月，教育部、財政部、國家發展改革委印發《關于公布世界一流大學和一流學科建設高校及建設學科名單的通知》，公布世界一流大學和一流學科（簡稱“雙一流”）建設高校及建設學科名單。四川農業大學入選世界一流學科建設高校。
五十年代，當局出于發展邊遠地區考慮，不顧大量師生反對，把四川大學農學院從成都遷往川藏交界區的雅安獨立建院。該地區經濟落后，條件艱苦，但老一輩川農人在雅安也取得了一定成績，對地方經濟建設和農業技術的發展做出了一定的貢獻。
改革開放后，由于地域局限矛盾越發顯著，學校師資招聘和人才培養瓶頸凸顯，招生工作也難以展開，校方開始研究遷回成都以獲求更多的發展機會。
該校先前在成都市溫江區建有水稻研究所，1989年曾經提出合并同在溫江的溫江農業學校（現成都農業科技職業學院）未果，2005年遂在溫江水稻研究所的基礎上征地600余畝新建了研究生院和科學研究院。2010年7月中國共產黨四川農業大學第九次黨代會上，學校做出了在此基礎上建設四川農業大學教學科研高端平臺－－四川農業大學成都（溫江）校區的決定。
該校于2011年率先將農學院和風景園林學院遷至成都市溫江區校區，隨后又陸續將資源環境學院、林學院、動物醫學院、經濟管理學院等核心院系遷至該校區，目前學校優勢學科和核心研究院所均已位于成都校區。
成都溫江校區的建設，使闊別成都數十載的四川農業大學回到了省會，獲得了更寬廣的發展舞臺。部分學院搬遷至成都校區后，四川農業大學在師資隊伍、招生工作、論文發表、實驗室建設等各方面都取得了顯著的成果，開啟了高速發展的新篇章。
四川農業大學擁有三個校區，分別是位于雅安市的雅安校區（校本部）、位于成都市溫江區的成都校區和位于成都市都江堰市的都江堰校區，占地總面積約4500畝。
地址：雅安市雨城區新康路46號
郵編：625014
概況：四川農業大學雅安校區（校本部）與雅安市區共生，占地面積3000余畝，幾乎相當于三分之一個雅安市區。雅安校區由濆江分隔老校區和新校區。雅安校區設有四川農業大學新農村發展研究院和10個二級學院。
雅安校區環境優美，老校區有上百棵歷史悠久的法國梧桐樹，號稱“百萬大道”，新校區有一里長的“桂花大道”以及安靜優雅的“老板山讀書公園”和富有特色的“農牧場”。雅安校區擁有四川乃至全國先進的動物疾病檢測儀器、動物疾病研究控制室、動物醫院。
地址：成都市溫江區惠民路211號
郵編：611130
概況：成都校區位于成都市溫江區，占地約600畝，該校核心院系和科研機構均位于成都校區。目前設置有1個研究中心、13個研究所和10個學院。
成都校區前身是1988年設立于雅安的水稻研究所。1990年12月，水稻研究所從雅安校區遷至成都。2005年，以水稻研究所為基礎，又將都江堰校區的小麥研究所、雅安的校區的玉米研究所、動物營養研究所及園林研究所遷至成都。2008年“5.12”汶川大地震后都江堰校區受災嚴重，學校根據中央部委批準的災后重建規劃，將都江堰校區重建項目納入成都校區擴建工程實行異地重建。2010年7月，四川農業大學成都科學研究院撤銷，改為四川農業大學成都校區。2010年10月，成都校區正式啟用，隨后陸續遷入大量核心院所，集中了學校最具優勢的學科和研究力量。
地址：成都市都江堰市建設路288號
郵編：611830
四川農業大學都江堰校區位于世界旅游文化城市都江堰，占地面積1660余畝，校舍建筑面積12余萬平方米。其前身是1953年成立的四川省林業學校， 2001年4月整體并入四川農業大學設立都江堰分校，2009年11月更名為四川農業大學都江堰校區（2012年2月原小麥研究所地塊整體置入都江堰校區）。
校區現設有4個學院。
設有學院27個，研究所(中心)15個，國家重點實驗室1個，涵蓋農學、理學、工學、經濟學、管理學、醫學、文學、教育學、法學、藝術學10大學科門類。有博士后科研流動站8個，博士學位授權一級學科11個、二級學科49個，碩士學位授權一級學科18個、二級學科88個，專業學位授予類別10個，本科專業91個；國家重點學科和重點培育學科4個，部省重點學科20個。2005年學校被確定為全國援疆學科建設計劃40所重點高校之一。根據2017年全國第四輪學科評估結果綜合計分，學校在全國農林高校、在川高校中分別位居第7、第4。農業科學、植物學與動物學、生物與生物化學、環境科學與生態學4個學科ESI排名持續穩定保持世界前1%，農學、獸醫學分別進入軟科2020年一流學科排名世界前50強和前100強。2017年動物營養與飼養科學、2018年作物學入選全國高等院校學科創新引智計劃（111計劃）。
現有教職工3700余人，其中：教授411人、副教授559人；博士生導師272人、碩士生導師833人；中國工程院院士1人，國家杰出高級專家2人，長江學者特聘教授2人、青年學者1人，國家級教學名師1人，國家杰出青年科學基金獲得者2人，國家優秀青年科學基金獲得者4人，國家有突出貢獻的中青年專家7人，國家百千萬人才工程人選12人，國家萬人計劃領軍人才3人、青年拔尖人才3人，國家973計劃首席青年科學家1人，新世紀優秀人才支持計劃人選15人，享受國務院政府特殊津貼專家101人，四川省學術和技術帶頭人96人，四川省有突出貢獻的優秀專家54人，四川省特別人才計劃人選15人，天府萬人計劃杰出人才3人、天府萬人計劃領軍人才10人、天府萬人計劃青年拔尖人才8人，四川省教學名師13人，四川師德楷模2人，四川省教書育人名師6人，何梁何利基金獲得者3人，霍英東教育基金獲得者14人，四川省科技杰出貢獻獎獲得者5人，四川省杰出人才獎獲得者2人。該校是四川省首批人才優先發展試驗區2所試點高校之一。
截止2020年9月，該校獲部省級以上科技成果獎勵700余項，其中：國家技術發明一等獎2項、二等獎3項，國家自然科學二等獎1項，國家科技進步二等獎19項，四川省科技進步特等獎3項、一等獎60項。70%左右的獲獎成果得到推廣轉化，累計創社會經濟效益1000多億元。先后在國際頂尖學術期刊《Cell》《Science》發表高水平論文。建有教育部農業農村部及國家林業和草原局重點實驗室8個，教育部農業農村部工程(技術)研究中心4個，科技部條件平臺1個，教育部科技部農業農村部創新團隊9個，農業農村部科學觀測實驗站3個，以及四川省重點(高校)實驗室29個、工程(技術)研究中心9個、社科研究基地4個、國際科技合作基地3個、協同創新中心6個。該校還是2012年全國首批成立新農村發展研究院的10所高校之一。
自1999年開展全國優秀博士學位論文評選以來，截至2013年該校共有5篇博士學位論文入選全國優秀博士學位論文，5篇獲得提名。該校入選全國優秀博士學位論文的總數在全國農林類高校排位第5名，四川排名第三，僅次于四川大學、西南交通大學。
具備培養學士、碩士、博士的完整教育體系，是“文革”后全國首批恢復招收研究生的高校之一，現有全日制在校生4.4萬余人，其中：本科生3.8萬人，碩士和博士研究生6700余人。獲省級以上教學成果獎102項，其中：國家級一等獎3項、二等獎8項，省級一等獎27項。全國優秀博士學位論文5篇、提名6篇。有國家級和省級一流本科專業建設點19個，國家級特色專業10個，國家級精品課程5門，國家級教學團隊4個，國家級人才培養模式創新實驗區1個，國家級實驗教學示范中心2個，國家級大學生校外實踐教育基地1個，國家級大學生創新創業訓練計劃項目514項。學校是全國自主選拔錄取改革試點高校之一、全國首批畢業生就業典型經驗50所高校之一、全國創新創業典型經驗50所高校之一、全省首批大學生創新創業示范俱樂部6所高校之一。
國家級實驗教學示范中心（1個）：動物類實驗教學示范中心
人才培養模式創新實驗區（1個）：植物生產類人才培養模式創新實驗區
國家級特色專業（10個）：茶學、草業科學、農林經濟管理、農學、動物醫學、動物科學、林學、農業資源與環境、園林、園藝學。
追求真理、造福社會、自強不息
愛國敬業、艱苦奮斗、團結拼搏、求實創新
四川農業大學校徽由中英文校名、中心花狀主體圖案、1906、現第一行政樓及書本環繞的穗狀圖案構成。
四川農業大學校名由江澤民同志親筆題寫；中心花狀主體圖案由花蕊和葉片構成，花蕊由古象形字“羊”變形而成，表示動物；圍繞花蕊的葉片表示植物。“1906”表明學校的前身是成立于1906年的四川通省農業學堂，中心下方的現第一行政樓為原西康省人民政府辦公大樓、學校1956年遷雅安獨立建校后的代表性建筑。整個校徽圖案主題鮮明、內涵豐富、協調美觀，體現了學校悠久的辦學歷史、鮮明的辦學特色，象征學校和諧、進取與勃勃生機。
# 食品學院（食品加工與安全研究所）
# 信息工程學院
# 水利水電學院
# 藝術與傳媒學院
# 遠程與繼續教育學院
# 農學院（生態農業研究所）
# 動物科技學院（動物遺傳育種研究所）
# 動物醫學院（預防獸醫研究所）
# 林學院（生態林業研究所）
# 園藝學院（果蔬研究所）
# 資源學院（資源與地理信息技術研究所）
# 環境學院（生態環境研究所）
# 經濟學院（區域經濟與金融研究所）
# 管理學院（四川省農村發展研究中心）
# 風景園林學院（園林研究所）
# 水稻研究所
# 小麥研究所
# 玉米研究所
# 動物營養研究所
#國家重點實驗室
# 旅游學院
# 建筑與城鄉規劃學院
與美國、英國、法國、德國、加拿大、俄羅斯、日本、韓國和香港、臺灣等22個國家（地區）的90多所高校（科研機構）建立了交流與合作關系，共簽署了110項交流合作協議。學校是全國首批有條件接受留學生的200所高校之一，還是國家建設高水平大學公派研究生項目簽約高校。。
*周開達：中國工程院院士，博士生導師，作物遺傳育種專業教授。
*榮廷昭：1957年畢業于四川農學院農學系。曾任四川農業大學農學院院長。現任四川農業大學玉米研究所所長、教授。2003年當選為中國工程院院士。
*顏濟：國家杰出高級專家，小麥遺傳育種學家，國際小麥族協作組成員，川農首位作物遺傳育種學科博導。
*于偉：成都市人大主任（副部級）。
*龍漫遠：芝加哥大學，北京大學長江學者，遺傳方面的世界領軍人物。
*田大成：南京大學，知名學者，生物領軍人物。
*夏玉先：重慶大學生物工程基因中心主任
*楊洪全：上海交通大學上海生命科學院，長江學者，國家杰青。
*凌宏清：中科院遺傳發育所，國家杰青。
*田士平：中科院植物所，國家杰青。
*盧寶榮：復旦大學生化系主任，國家杰青。
*陳育新：華西新希望集團董事長。
*  四川農業大學在線全景校園
義大利戰役可以指：
*義大利戰役1524–1525，意大利戰爭 1521
*義大利戰役 (法國大革命戰爭)，拿破侖·波拿巴的法國軍隊進攻義大利地區 1796–1797
*第二次意大利獨立戰爭，法國-撒丁聯軍與奧地利帝國開戰 1859
*意大利戰役 (第一次世界大戰)，交戰雙方是奧匈帝國和意大利
*義大利攻防戰 (二戰)，盟軍深入意大利內陸及消滅法西斯意大利境內的德意聯軍。
恆生銀行（中國）有限公司為恒生銀行全資子公司，總部設在中國上海，於2007年5月28日成立，在北京、天津、南京、上海、杭州、寧波、福州、廣州、昆明、東莞及深圳共14間分行及35間支行，當中佛山和中山為異地支行，並於深圳設立保險及投資管理代表處，處理相關業務。
滙豐控股並不直接持有恒生中國任何股份，但於一般文件中，恒生中國仍會寫出「滙豐集團成員」。
在1985年恒生在深圳建立首個代表處；至1995年才在廣州成立首間分行；但礙於中國大陸「一年一分行」政策，分行數目增長不快。
恒生明白到現時難與中國大陸銀行競爭，在2002年6月，恒生銀行副董事兼行政總裁鄭海泉在其新的「五年計劃」提出三個目標：
#重整現有的分行網絡及配套設施—集中力量鞏固現有業務，並不急於發展分行網絡，期望五年後能有更好的網絡；
#拓展私人理財業務，吸納客戶—集中拓展高檔次客戶層面；
#繼續在企業貸款、貿易融資及項目貸款上的擴張，增加恒生品牌在中國大陸的知名度。
2003年12月17日，恒生購入興業銀行15.98%股權，成為第二大股東，涉及現金總額約港幣16億元，為當年香港銀行入股內地銀行涉及金額最龐大。
2005年，恒生中國大陸分支行吸納的存款總額比上一年增長79%，貸款總額增加42%，達到105億港元，其中按揭貸款的增幅達79%。
2006年5月31日，恒生銀行中國業務總裁符致京更表示，恒生還計劃在中國大陸投資10億港元以上用作拓展內地業務。
2006年12月22日，恒生銀行向中國銀監會提交中國大陸註冊的申請，其附屬公司恒生銀行（中國）有限公司於2007年5月28日開業。
2007年8月29日，恒生銀行（中國）有限公司獲準向中國內地公民提供人民幣個人銀行業務。
2008年1月31日，入股山東煙臺市商業銀行20%股權，成為最大股東，涉及現金總額8億元人民幣(約1.11億美元)
2009年5月22日，行政總裁符致京因私人理由辭任，職務由恒生總經理兼營運總監兼恒生中國董事薛關燕萍即將接任。
2010年5月20日恒生銀行 (中國)以5.1億人民幣購入上海滙豐大廈的第34-36層、地面其中一個商舖及命名權和標識權。交易待中國監管當局批凖後於11月完成後，該大廈會成為恆生中國總部。
2012年3月26日恒生證券有限公司和越秀集團旗下廣州證券有限責任公司組建成立合資證券投資諮詢公司——廣州廣證恒生證券投資諮詢有限公司。廣州證券在廣州廣證恒生證券投資諮詢有限公司的股權比例為67%，恒生證券為33%。
2016年6月18日恒生銀行與深圳市前海金融控股有限公司獲中國證券監督管理委員會核準，成立內地首家外資控股合資基金管理公司，恒生前海基金管理有限公司。恒生銀行持有合資基金管理公司70%權益，餘下30%權益由前海金控持有。
哥德爾本體論證明是數學家庫爾特·哥德爾對11世紀意大利僧侶聖安瑟倫對於神存在性的本體論論點整理並改進後所作的數學表達方式。聖安瑟倫後曾有17世紀的萊布尼茨提出了另一個較複雜的宇宙論證版本，而這個就是哥德爾所研究並嘗試用其本體論邏輯論點去澄清的版本。
雖然哥德爾有宗教信仰，他從未發表這個證明。他在1970年代絕食而死的前幾年不斷將這個論點向身邊的朋友們展示，他去世九年後，即1987年，這論點才被出版。
哥德爾的論證證明用上了由他本人及克里普克等20世紀邏輯學家所發展的模態邏輯，分開了''必需''的真與''偶然''的真。 表示必然性，而  表示可能性。證明的關鍵在於利用「神可能存在」（定理２）及神的極致性（定義１）去推導出「神必然存在」（定理４）。在S5模態邏輯系統的框架下，這項結論可謂全然有效，因此相當驚人。然而，若使用相同的邏輯推論去假設極致偉大的存有不存在，也同樣沒有任何自相矛盾之處。
11世紀的意大利僧侶聖安瑟倫，其論點用最簡潔的表達如下：「God, by definition, is that than which a greater cannot be thought（i.e.）. God exists in the understanding（i.e.）. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist.」。也就是：
1：根據定義，我們不能想出任何比上帝更偉大的存在。
2：神存在于我們的思想之中。
3：如果上帝存在于我們的思想之中，那么我們可以想象，如果上帝存在于實際之中的話，祂就更加偉大。
推論：上帝必須存在。
哥德爾的證明若以符號表達，則如下：
解「像神特性」，及為任一特性， 解 「 為正（也可作「善」或「偉大」）特性」，  解「 x 擁有  特性」， 解「必需存在」，  解 「 是 x 的本質（essence）」， 表示「必然性」，而  表示「可能性」:
公設 0：在所有特性中挑出正特性是可能的。（i.e.在所有特性當中，我們總得界別其中一些為善，否則定義善特性已經沒意思了。）
公設 1：任何由一個正特性所導出的特性必然為正。
公設 2：假如一個特性的邏輯非為正，那為非正。（i.e.特性與非必為一善一邪）
定理 1：如果一個特性為正，那它是相容（consistent）的，即是，可能找得到例子（exemplified）。（i.e.世上總有些善的東西。）
定義 1：x像神若且唯若x擁有所有正特性。（i.e.擁有所有善特性的才能稱得上神）
公設 3：像神特性G為正（i.e.能稱得上神，是一種善的特性）
定理 2：可能存在一個物體x像神（i.e.神可能存在）。
定義 2：是x的本質（essence）若且唯若「是x的特性」及「對於x所擁有的每一個特性，對所有y而言皆由而來」
公設 4：假如一個特性為正，那必需為正。
定理 3：假若一件物體x像神，那使其像神的特性G是x的本質（essence）。
定義 3：x必需存在若且唯若x的每一個本質（essence）必需能找得到例子（exemplified）
公設 5：「必需存在」此特性（名為特性E），為正。
定理 4：像神的特性G必定能找到例子（exemplified）（i.e.即神存在）。
Lemma 1:
Lemma 2:
Lemma 3:
Th. 3的證明:
哥德爾證明中的公設有5項：
:公設 0: 在所有特性中挑出''正''特性是可能的。哥德爾定義正特性頗不清晰：「正解作在道德美學上為正（independently of the accidental structure of the world）......It may also mean pure ''attribution'' as opposed to ''privation'' (or containing privation)." (G?del 1995)
然後我們假設對於所有正特性，以下幾個條件正確（可被總結為「那些正特性們形成了一個超濾子」）：
:公設 1: 假如 ''φ'' 為正特性且 ''φ'' 導出 ''ψ''，那 ''ψ'' 也是正。
:公設 2: 假如 ''φ'' 是一個特性，那要麼''φ''與其邏輯非——「非φ」，有一個且只有一個為正特性。
:公設 3: 「像神特性」G乃是正特性
:公設 4: 若φ為正特性，則其必需為正特性。
:公設 5: 必需存在性E是一個正特性。This mirrors the key assumption in Anselm's argument.
對哥德爾本體論證明的大部份批評，皆在於其公設部份。正如任何邏輯系統，假如其所依賴的公設備受懷疑，則結論也會受到懷疑。此情況特別適用於哥德爾的證明，因為其所依賴的5條公設，全部也是可以質疑的。此證明並不表示其結論正確，但假如你接受了那些公設，結論就是正確的。
很多哲學家質疑這些公設。第一層的攻擊，在於指出沒有任何理據技持為何這些公設為正確。第二層則是這些公設帶來一個不受歡迎的結論
* C. Anthony Anderson, "Some Emendations of G?del's Ontological Proof", Faith and Philosophy, Vol. 7, No 3, pp. 291–303, July 1990
* Kurt G?del (1995). "Ontological Proof". ''Collected Works: Unpublished Essays & Lectures, Volume III''. pp. 403–404. Oxford University Press. ISBN 0195147227
* A. P. Hazen, "On G?del's Ontological Proof", Australasian Journal of Philosophy, Vol. 76, No 3, pp. 361–377, September 1998
* Jordan Howard Sobel, "G?del's Ontological Proof" in ''On Being and Saying. Essays for Richard Cartwright,'' ed. Judith Jarvis Thomson (MIT press, 1987)
* Melvin Fitting, "Types, Tableaus, and Godel's God" Publisher: Dordrecht Kluwer Academic ?2002, ISBN 9781402006043
*  Kurt G?del's Ontological Argument
*  Stanford Encyclopedia of Philosophy: Ontological Argument
烏茲衝鋒槍（或，），又稱烏齊沖鋒槍、烏奇衝鋒槍（Uzi 的常見中文稱呼源自於不同地區的民間音譯結果）。烏茲是以色列軍事工業的一種輕型衝鋒槍，由上尉（Uziel Gal）於1948年設計。
烏茲衝鋒槍由以色列國防軍上尉（後升至少校）烏茲·蓋爾於第一次中東戰爭期間的1948年設計，1951年由以色列軍事工業作批量生產，並在1956年第二次中東戰爭中開始有限地裝備以色列國防軍，以軍士兵都普遍地對烏茲的表現表示滿意，其後開始量產。
當時的烏茲衝鋒槍是軍官、車組成員及炮兵部隊的自衛武器，亦是精英部隊的前線武器，六日戰爭時的以色列士兵認為烏茲衝鋒槍的緊湊外型及火力十分適合於清除敘利亞及約旦士兵所建的碉堡。另外，由於在雷根遇刺案中美國特勤局特工羅伯特·旺科（Robert Wanko）拔出一把烏茲進行戒備，使烏茲的名聲大振。
烏茲是一款結構簡單及易於生產的衝鋒槍，該武器以其設計者烏茲·蓋爾的名稱來命名，雖然當時他表明並不希望以其名字作武器名稱，但這請求被以色列政府駁回。
烏茲衝鋒槍獲全世界武裝單位廣泛使用。由於有著比起早期衝鋒槍短小和輕便、操作簡易及成本低廉等優點，烏茲衝鋒槍成為一種十分有效的近戰武器，尤其是用於清除室內、碉堡及戰壕裡的敵人。同時也由於該槍體積小巧及容易維護，所以亦常見於機械化部隊，作為他們的自衛武器使用。
以色列國防軍的常規部隊雖然已將烏茲衝鋒槍除役，但其特種部隊單位至今仍然採用微型烏茲作為近身距離作戰武器之一，同時（IWI）也持續生產烏茲的改進版和部件供外銷用途。
烏茲衝鋒槍在部分國家及一些軍火商均獲授權生產或非法仿製使用，取得合法生產的國家包括比利時（由FN生產）、西德、日本（由美蓓亞公司生產改良版“美蓓亞PM-9”）及前羅德西亞（名為「Rhuzi」）等，其他未獲授權下在本土生產烏茲山寨版的國家包括中華人民共和國（由北方工業生產的“320型衝鋒槍”）和伊朗等。其中伊朗在巴列維政權時期曾直接向以色列購買烏茲，但這個渠道隨著1979年伊朗伊斯蘭革命爆發後因以伊兩國交惡而中斷。伊朗伊斯蘭共和國後來以逆向工程方式仿製了烏茲，至今仍是其特種部隊的主要武器之一。有部份廠商更為其仿製的烏茲重新命名（但槍枝本身沒有改變），但這些非法仿製的山寨品通常都比不上原裝或授權生產的產品。
除以色列外，多個國家，包括美國的一些聯邦（如美國特勤局）及地方層級執法部門、特警隊、私人保安部隊，以至美軍都曾經裝備過烏茲，但現在則已普遍被HK MP5和其他更先進的衝鋒槍所取代。
除標準型烏茲衝鋒槍外，烏茲亦有多種不同長度及半自動的衍生型，這些衍生型現在仍是部份國家的特種部隊及執法部門的常用武器。
德國聯邦國防軍在1959年起裝備在西德合法生產的烏茲衝鋒槍，命名為“MP2”，直至2010年代才逐漸被MP7取代。斯蘭卡在1990年代進口了數百把迷你烏茲及烏茲卡賓槍，現在仍是斯蘭卡陸軍特種部隊及特警的武器。
由於各國的反恐部隊或特警隊於人質營救行動時會為了避免傷及無辜而傾向使用精度更高的武器，而烏茲衝鋒槍本身又是為純軍事用途而設計，其採用的開放式槍栓設計並不利於精準射擊，所以現在於大多數發達國家中的反恐部隊已經逐漸以HK MP5系列等重視精度的高成本衝鋒槍取代烏茲系列。踏入21世紀，考慮到越來越多恐怖份子和犯罪份子已穿著防彈衣甚至佩戴防彈盔，以美國為首的特種作戰部隊和執法機關戰術單位開始以短管的小口徑突擊步槍取代無法打穿防彈裝備的衝鋒槍作為近戰武器。
消聲器的烏茲衝鋒槍
烏茲衝鋒槍採用衍生自捷克斯洛伐克CZ衝鋒槍的開放式槍栓及反沖作用設計，CZ系列也是第一種採用包絡式槍機的衝鋒槍，這種設計把彈匣位置改為在握把內，部份槍管會被機匣覆蓋，令總長度大幅下降，重量分佈更加平衡。而本身以CZ衝鋒槍為原型的烏茲也繼承了包絡式槍機的設計。
烏茲的機匣採用低成本的金屬沖壓方式生產，這可有效減少生產成本及所需的金屬原料，亦縮短了生產所需的時間，令大量生產時的成本大幅降低，而且也更容易進行維護及維修。
烏茲衝鋒槍運用了握把式保險（位於握把背部，必需保持按壓才可發射）的設計，使用者需用力按壓保險裝置才可扣動扳機開火，減低了走火的機會，彈匣內藏在手槍握把的設計有利於射手在黑暗環境時仍可快速更換彈匣。不過這種設計也提高了槍械的高度，從而減少了伏姿射擊時的空間。
烏茲是一種選射槍械，其射擊選擇桿設置在手槍握把上方，可作半自動或全自動射擊。
由於開放式槍栓的設計較易受沙塵影響，當擊鎚釋放時，其拋殼口會同時關上以防止沙塵進入機匣造成故障。在沙漠或風沙較大的地區作戰時，射手需經常替其烏茲進行分解清理，以避免射擊時出現如卡彈等故障，這種缺點是所有開放式槍栓槍械的共通點。
烏茲衝鋒槍的常用口徑為9×19毫米帕拉貝倫，在民間市場上有些會被改膛為.22 LR、、.45 ACP、.40 S&W及10毫米Auto等口徑。
9毫米口徑的彈匣容量為20、25、32、40及50發，甚至100發彈鼓，.22 LR及.41 AE則是10發，而.45 ACP為16發。
配備木制槍托的標準型烏茲
* 迷你烏茲（Mini Uzi）：1980年推出，以標準型縮短而成，也可歸類為衝鋒手槍。其口徑為9×19毫米帕拉貝倫，打開槍托後全長600毫米（23.62寸），槍托改為向右摺疊的鋼絲式，摺疊時全槍只有360毫米（14.17寸），槍管則長197毫米，初速為375米／秒，開放式槍栓版本的射速為950發／分鐘（約16發／秒），閉鎖式槍栓版本則為1,700發／分鐘（約28發／秒），裝上25發彈匣時重3.15公斤，並可半自動或全自動射擊。
* 微型烏茲（Micro Uzi）：1990年代推出，比迷你烏茲還要進一步縮小和縮短的衝鋒手槍，同樣為9毫米口徑，打開槍托後全長460毫米（18.11寸），在鋼絲槍托向右摺疊時全長只有250毫米（9.84寸），槍管長117毫米，初速為350米／秒，由於回膛彈簧進一步縮短，其射速升至1,250發／分鐘（約21發／秒）或1,700發／分鐘（約28發／秒），裝上25發彈匣時重2.2公斤，使用閉鎖式槍栓，同樣具半自動或全自動射擊模式，扳機護環及握把的外型亦有所不同。微型烏茲設計上亦可作為個人防衛武器（PDW）使用。
* 傘兵微型烏茲（Para Micro Uzi）：為以色列反恐部隊特別設計的型號，為9毫米口徑，機匣頂部及底部加裝皮卡汀尼導軌，握把改為傾斜式以對應格洛克18全自動手槍的33發彈匣。扳機護環及握把的外型亦與標準型烏茲有所不同。
* 烏茲手槍（Uzi Pistol）：1984年推出，為微型烏茲的半自動手槍版本，為9毫米口徑，初速為345米／秒，主要用於出口到各地民間市場，設有槍口制退器。
* 烏茲卡賓槍（Uzi Carbine）：標準型烏茲衝鋒槍的半自動版本，為9毫米口徑，槍管長400毫米（16寸），主要出口至各地民用市場。
* 迷你烏茲卡賓槍：（Uzi Mini Carbine）：迷你烏茲衝鋒槍的半自動版本，同樣為9毫米口徑，槍管長450毫米（18寸），主要用於出口到各地民間市場。
* Uzi PRO：最新推出的微型烏茲衍生型，裝有皮卡汀尼導軌。
* BA-94：緬甸Ka Pa Sa工廠的授權生產型。
* 北方工業320：中華人民共和國中國北方工業公司的未授權仿製版本。
* Arma Ero：克羅地亞的仿制版本，另有縮小型Mini ERO。
* 821型：意大利的仿制版本。
* 美蓓亞PM-9：日本美蓓亞公司授權生產的迷你烏茲衍生型。
贖罪日戰爭期間的以色列士兵
攜帶烏茲衝鋒槍（右）的以色列特種部隊幹員
一名持烏茲衝鋒槍在內蓋夫警戒的以色列女兵
以色列國防軍的傘兵部隊於1959年閱兵儀式時出現的烏茲
1981年雷根遇刺案中手持烏茲的美國特勤局特工
手持烏茲衝鋒槍的尼日爾士兵
伊朗陸軍的隊員至今仍使用烏茲
巴西海軍特種部隊使用微型烏茲
** 奧地利聯邦內務部眼鏡蛇作戰司令部（標準型；已退役）
** 特種部隊（迷你烏茲、微型烏茲）
** 比利時國防軍（標準型；由FN公司授權生產）
* ：採用仿製版本（ERO、Mini ERO?）
** 法國軍隊（標準型、迷你烏茲）
*** 法國國家憲兵干預組（標準型）
** 德國聯邦國防軍（標準型；命名為「MP2」，將被HK MP7完全取代）
** 伊朗伊斯蘭共和國武裝部隊特種部隊（標準型；部份為本土生產的仿製品）
** 以色列國防軍（標準型、迷你烏茲、微型烏茲、烏茲Pro）
** 波蘭軍隊行動應變及機動組（迷你烏茲）
** 中華民國特種警察（標準型、迷你烏茲）
** 內務部特種部隊（迷你烏茲）
** 美國軍隊（標準型；已退役）
** 美國特勤局（標準型；已退役）
** 多個地方警察局的特種武器和戰術部隊（標準型）
** 烏茲別克國家安全局特種部隊（微型烏茲）
** 越南人民軍特種部隊（微型烏茲）
在電視節目、電影和電子遊戲中烏茲衝鋒槍出現的比率相當高，特別是雙手各自持槍作掃射不同目標的畫面。
* 2003年—《極限權利第二季》：型號為標準型烏茲和迷你烏茲：
** 標準型烏茲於第1集由法國特種部隊所使用。
** 迷你烏茲於第1集由法國特種部隊所使用，也於第3集開頭由騎摩托車的槍手所使用。