stanford-oval/wikipedia huggingface dataset:
Tiên đề chọn
Tính độc lập

Xem thêm: Danh sách mệnh đề độc lập với ZFC
Năm 1938, Kurt Gödel chỉ ra rằng phủ định của tiên đề chọn không thể được chứng minh trong ZF bằng cách xây dựng một nội mô hình (một vũ trụ dựng được) thỏa mãn ZFC và từ đó cho thấy ZFC là nhất quán nếu bản thân ZF nhất quán. Năm 1963, Paul Cohen sử dụng kỹ thuật ép (forcing), để chỉ ra rằng, giả sử ZF là nhất quán, tiên đề chọn không thể được chứng minh trong ZF. Ông xây dựng một mô hình phức tạp hơn nhiều thỏa mãn ZF¬C (ZF với phủ định của AC) và từ đó chứng minh rằng ZF¬C là nhất quán.
Những kết quả này cho thấy tiên đề chọn độc lập logic với ZF. Giả định ZF là nhất quán không ảnh hưởng gì vì nếu không nhất quán, việc thêm một tiên đề không tác động đến các kết quả đã có. Bởi sự độc lập này, ta không thể dựa vào những tiên đề khác trong lý thuyết tập hợp để quyết định có dùng tiên đề chọn hay không.
Một luận điểm thường được đưa ra cho tiên đề chọn là nó giúp ta chứng minh một số định đề mà nếu không dùng AC sẽ không thể chứng minh được. Nhiều định lý chứng minh dùng tiên đề chọn có một tính tổng quát đẹp: mọi ideal trong một vành chứa trong một ideal tối đại, mọi không gian vectơ có một đại số, và mọi tích của không gian compact là compact. Không có tiên đề chọn, những định lý này có thể sai với những vật thể toán học có lực lượng lớn.
Kết quả độc lập này cũng cho thấy một lớp các mệnh đề toán học, bao gồm tất cả những mệnh đó có thể được phát biểu trong ngôn ngữ số học Peano, là chứng minh được trong ZF nếu và chỉ nếu nó chứng minh được trong ZFC. Những mệnh đề trong lớp này bao gồm mệnh đề khẳng định P = NP, giả thuyết Riemann, và nhiều bài toán chưa có lời giải khác. Khi tìm lời giải cho những bài toán thuộc lớp này, việc sử dụng ZF hay ZFC không khác gì nhau nếu câu hỏi duy nhất là tồn tại một chứng minh. Tuy nhiên, đôi khi chứng minh trong ZFC ngắn hơn là trong ZF.
Tiên đề chọn không phải là mệnh đề quan trọng duy nhất độc lập với ZF. Ví dụ, giả thuyết continuum tổng quát (GCH) không chỉ độc lập với ZF mà còn độc lập với cả ZFC. Tuy nhiên, ZF + GCH kéo theo AC, khiến GCH là mệnh đề mạnh hơn AC, mặc dù cả hai đều độc lập với ZF.
Tiên đề mạnh hơn

Tiên đề tính dựng được và giả thuyết continuum tổng quát đều bao hàm tiên đề chọn và vì vậy mạnh hơn nó. Trong những thuyết lớp như lý thuyết tập hợp von Neumann–Bernays–Gödel và lý thuyết tập hợp Morse–Kelley, tồn tại một tiên đề gọi là tiên đề chọn toàn cục, mạnh hơn tiên đề chọn cho tập hợp bởi nó cũng áp dụng cho các lớp chính quy. Tiên đề chọn toàn cục có thể được suy ra từ tiên đề giới hạn kích thước. Một tiên đề khác mạnh hơn tiên đề chọn là tiên đề Tarski, được dùng trong lý thuyết tập hợp Tarski–Grothendieck và phát biểu rằng mỗi tập hợp thuộc về một vũ trụ Grothendieck nào đó.
Tương đương

Có nhiều mệnh đề quan trọng mà trong hệ tiên đề ZF nhưng không có  AC lẫn ¬AC, là tương đương với tiên đề chọn. Những mệnh đề quan trọng nhất là bổ đề Zorn và định lý thứ tự tốt. Thực tế, Zermelo ban đầu đưa ra tiên đề chọn để có thể hoàn thành chứng minh định lý thứ tự tốt của mình.
Lý thuyết tập hợp
Định lý thứ tự tốt: Mọi tập hợp đều có thể được sắp thứ tự tốt. Hệ quả là mọi số đếm có một số thứ tự ban đầu.
Định lý Tarski về lựa chọn: Với mọi tập vô hạn A, tồn tại một song ánh giữa các tập hợp A và A×A.
Tam phân: Giữa hai tập hợp, hoặc chúng có cùng lực lượng, hoặc một tập hợp có lực lượng nhỏ hơn tập hợp kia.
Cho hai tập hợp khác rỗng, tồn tại một toàn ánh từ một tập này sang tập còn lại.
Tích Descartes của mọi họ các tập khác rỗng là khác rỗng.
Định lý König: Nói đơn giản, tổng một chuỗi các số đếm là bé hơn tích của chuỗi các số đếm lớn hơn. ("nói đơn giản" là vì tổng hay tích của một "chuỗi" các số đếm không thể được định nghĩa mà không có một số yếu tố của tiên đề chọn.)
Mọi toàn ánh có một hàm ngược bên phải.
Lý thuyết thứ tự
Bổ đề Zorn: Mọi tập sắp thứ tự một phần khác rỗng trong đó mọi xích (tức tập con sắp thứ tự toàn phần) có cận trên chứa ít nhất một phần tử tối đại.
Nguyên lý tối đại Hausdorff: Trong một tập sắp thứ tự một phần, mọi tập con sắp thứ tự toàn phần được chứa trong một tập con sắp thứ tự toàn phần tối đại. Nguyên lý yếu hơn "Mọi tập sắp thứ tự một phần có một tập con sắp thứ tự toàn phần tối đại" cũng tương đương với AC trong ZF.
Bổ đề Tukey: Mọi họ có đặc trưng hữu hạn có một phần tử tối đại đối với phép chứa.
Nguyên lý đối xích: Mọi tập sắp thứ tự một phần có một đối xích tối đại.
Đại số trừu tượng
Mọi không gian vectơ có một cơ sở.
Định lý Krull: Mọi vành có đơn vị không tầm thường chứa một ideal tối đại.
Với mọi tập khác rỗng S tồn tại phép toán hai ngôi định nghĩa trên S biến nó thành nhóm. (Một phép toán hai ngôi có tính giản ước là đủ, xem cấu trúc nhóm và tiên đề chọn.)
Mọi tập hợp là một đối tượng xạ ảnh trong phạm trù Set của các tập hợp.
Tôpô tập điểm
Định lý Tychonoff: Mọi tích của các không gian tôpô compact thì compact.
Trong không gian tôpô tích, đóng của tích các tập con bằng tích của các đóng.
Logic toán học
Nếu S là một tập các phát biểu logic bậc nhất và B là một tập con nhất quán của S thì B được chứa trong một tập tối đại trong số những tập con nhất quán của S.
Lý thuyết đồ thị
Mọi đồ thị liên thông có một cây bao trùm.
Cléopâtre, la dernière reine d'Égypte

Cleopatra, nữ hoàng cuối cùng của Ai Cập (Cléopâtre, la dernière reine d'Égypte) là một vở comedie musical (ca kịch) hai hồi được sản xuất vào ngày 29 tháng 1 năm 2009.
Nội dung

Vở ca kịch nói về mối tình giữa Cleopatra VII, Julius Caesar và Mark Antony.
Sản xuất

Các hình vẽ trên sân khấu: Kamel Ouali, Guillaume Segouin
Lời mở đầu: Lionel Florence, Patrice Guiaro
Âm nhạc: Fabien Dubos, Davide Esposito, Souad Massi, Laure Milan, Benoit Poher, Vegastar, Yvan Cassar
Biên đạo múa: Kamel Ouali
Phương hướng nghệ thuật: Bertrand Lamblot, Alexandra Cubizolles
Trang trí: Bernard Arnould
Trang phục: Dominique Borg
Sản xuất: Jean-Claude Camus, Jackie Lombard, Đinh Thiện Ngô
Phương hướng sản xuất: Roger Abriol
Ngày công chiếu từ 29 tháng 1 năm 2009 đến ngày 29 tháng 4 năm 2009.
Phân phối vai

Sofia Essaïdi - Cleopatra VII
Florian Étienne - Mark Antony
Christopher Stills - Julius Caesar
Mehdi Kerkouche - Ptolemaios XIII Theos Philopator
Dominique Magloire - Nữ tỳ Charmion
Amélie Piovoso - Octavia
Mickaël Trodoux - Octavius
Các bài hát trong vở ca kịch > Hồi 1

Tout sera stratagème (Ý chí là mưu mẹo) (Cleopatra VII)
Main dans la main (Tay trong tay) (Ptolemaios XIII)
L'accord (Thỏa thuận) (Julius Caesar và Cleopatra)
De l'ombre à la lumière (Từ bóng tối đến của ánh sáng) (Nữ tỳ Charmion)
Ailleurs (Ở nơi khác) (Ptolemaios và Charmion)
Femme d'aujourd'hui (Người phụ nữ hôm nay) (Cleopatra)
Tout est éphémère (Mọi thứ chỉ là phù du) (Caesar và Cleopatra)
Le serment (Lời thề) (Caesar và Mark Antony)
Ce qui me touche (Điều làm ta tổn thương) (Caesar)
Il faut partir (Phải ra đi) (Cleopatra và Charmion)
Các bài hát trong vở ca kịch > Hồi 2

Je serai fidèle (Ta sẽ chung thủy) (Mark Antony)
Je serai ton ombre (Em là cái bóng bên chàng) (Octavia)
Une autre vie (Một cuộc sống khác) (Antony và Cleopatra)
Le Ballet des momies (Vũ điệu của những xác ướp) (Charmion)
Mon amour (Tình yêu của em) (Cleopatra)
Aujourd'hui et maintenant (Hôm nay và ngay bây giờ) (Antony)
On s'aimera quand même (Ta vẫn sẽ yêu nhau) (Antony và Cleopatra)
Ça fait mal (Điều đó gây ra nỗi đau) (Cleopatra)
Pour nous (Cho chúng ta) (Charmion)
La vie reprend (Lấy lại cuộc sống) (Antony, Cleopatra, Caesar, Octavia, Octavius, Charmion và Ptolemaios)
Cyphostemma oxyphyllum

| Cyphostemma oxyphyllum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Vitales
Họ (familia): Vitidaceae
Chi (genus): Cyphostemma
Loài (species): C. oxyphyllum
Danh pháp hai phần
Cyphostemma oxyphyllum (A.Rich.) Vollesen, 1984 
Cyphostemma oxyphyllum là một loài thực vật hai lá mầm trong họ Nho. Loài này được (A.Rich.) Vollesen miêu tả khoa học đầu tiên năm 1984.
Chú thích

↑  The Plant List (2010). “Cyphostemma oxyphyllum”. Truy cập ngày 8 tháng 6 năm 2013.
Tolmera lineata

| Tolmera lineata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Geometridae
Chi (genus): Tolmera
Loài (species): T. lineata
Danh pháp hai phần
Tolmera lineata Warren, 1907 
Tolmera lineata là một loài bướm đêm trong họ Geometridae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 17 tháng 6 năm 2014.
Clutia impedita

| Clutia impedita> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
(không phân hạng): Rosids
Bộ (ordo): Malpighiales
Họ (familia): Peraceae
Chi (genus): Clutia
Loài (species): C. impedita
Danh pháp hai phần
Clutia impedita Prain, 1913 
Clutia impedita là một loài thực vật có hoa trong họ Peraceae. Loài này được Prain mô tả khoa học đầu tiên năm 1913.
Chú thích

↑  The Plant List (2010). “Clutia impedita”. Truy cập ngày 15 tháng 9 năm 2013.
Tuğrul, Mut

| Tuğrul |
| --- | --- |
—  Xã  —
 
TuğrulVị trí ở Thổ Nhĩ Kỳ
Quốc gia:  Thổ Nhĩ Kỳ
Tỉnh: Mersin
Huyện: Mut
Dân số (2011)
 • Tổng cộng: 172 người
Múi giờ: EET (UTC+2)
 • Mùa hè (DST): EEST (UTC+3)
Tuğrul là một xã thuộc huyện Mut, tỉnh Mersin, Thổ Nhĩ Kỳ. Dân số thời điểm năm 2011 là 172 người.
Chú thích

↑  “Cities, towns and villages in Mersin”. Viện thống kê Thổ Nhĩ Kỳ. Lưu trữ bản gốc ngày 14 tháng 7 năm 2012. Truy cập ngày 12 tháng 9 năm 2012.Quản lý CS1: bot: trạng thái URL ban đầu không rõ (liên kết)
Echinotheridion andresito

| Echinotheridion andresito> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Theridiidae
Chi (genus): Echinotheridion
Loài (species): E. andresito
Danh pháp hai phần
Echinotheridion andresito M. J. Ramírez & José Valentín Herrera González, 1999 
Echinotheridion andresito là một loài nhện trong họ Theridiidae.
Loài này thuộc chi Echinotheridion. Echinotheridion andresito được M. J. Ramírez & José Valentín Herrera González miêu tả năm 1999.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Thủy điện Ngòi Phát

(Việt Nam)
Thủy điện Ngòi Phát là thủy điện xây dựng trên dòng ngòi Phát tại vùng đất các xã Bản Vược, Cốc Mỳ và Bản Xèo huyện Bát Xát tỉnh Lào Cai, Việt Nam .
Thủy điện Ngòi Phát có công suất lắp máy 72 MW với 3 tổ máy, khởi công năm 2004, tái khởi động tháng 6/2013, khánh thành tháng 11/2014.
Đường hầm dẫn nước dài 9.137 m đưa tới nhà máy điện 22°36′18″B 103°47′40″Đ﻿ / ﻿22,605099°B 103,794472°Đ﻿ / 22.605099; 103.794472﻿ (Nm.Ngòi Phát).
Thủy điện Ngòi Phát mở rộng nâng công suất lắp máy lên 84 MW (thêm 12 MW), sản lượng điện hàng năm 400 triệu kWh, khởi công tháng 9/2017 , hoàn thành tháng 5/2020.
Tác động môi trường dân sinh

Dự án khởi công năm 2003, nhưng do tác động của suy thoái kinh tế toàn cầu và những khó khăn kinh tế trong nước, dự án bị gián đoạn một thời gian khá dài và được tái khởi động vào tháng 6/2013 .
Tác động môi trường dân sinh > Về mục đường hầm dài nhất Việt Nam

Thủy điện Ngòi Phát có đường hầm dẫn nước dài 9.137 m, được một số người coi là dài nhất Việt Nam năm 2014 . Tuy nhiên điều này không chính xác.
Đầu năm 2008 Thủy điện Đại Ninh công suất lắp máy 300 MW ở huyện Đức Trọng tỉnh Lâm Đồng hoàn thành, có đường hầm áp lực dài nhất, là 11,2 Km và đoạn đường ống áp lực bằng thép dài 1,818 km.
Từ năm 2016 đến nay (2020) đường hầm áp lực dài nhất là 20 km ở Thủy điện Thượng Kon Tum công suất 220 MW hoàn thành cuối năm 2016.
Ngòi Phát

Ngòi Phát là phụ lưu cấp 1 của sông Hồng chảy ở huyện Bát Xát tỉnh Lào Cai, Việt Nam .
Ngòi Phát khởi nguồn từ hợp lưu các suối ở thung lũng xã Mường Hum, trong đó dòng dài nhất là suối Pờ Hồ bắt nguồn từ dãy núi cao 22°24′35″B 103°36′50″Đ﻿ / ﻿22,40972°B 103,61389°Đ﻿ / 22.40972; 103.61389﻿ (suối Pờ Hồ) là ranh giới tỉnh Lào Cai và Lai Châu, chảy hướng bắc-đông bắc.
Từ thung lũng xã Mường Hum 22°31′35″B 103°41′56″Đ﻿ / ﻿22,52639°B 103,69889°Đ﻿ / 22.52639; 103.69889﻿ (Ngòi Phát) sông có tên là sông Mường Hum, chảy hướng đông bắc.
Sông chảy qua các xã Bản Xèo, Dền Thàng, rồi là ranh giới hai xã Bản Vược và Cốc Mỳ, và đổ vào sông Hồng bên bờ phải 22°37′14″B 103°49′11″Đ﻿ / ﻿22,62056°B 103,81972°Đ﻿ / 22.62056; 103.81972﻿ (Ngòi Phát).
Cách cửa sông 2 km là mỏ đồng Sin Quyền nằm hai bên sông, là mỏ đồng lớn nhất Việt Nam.
Thủy điện Mường Hum công suất 32 MW đã xây dựng trên sông Mường Hum tại xã Bản Xèo và Dền Thàng, khởi công tháng 5/2008 hoàn thành tháng 3/2011 .
Chỉ dẫn

Trong tiếng Việt thì "Ngòi" có nghĩa là sông, suối.
1 2  Ngòi Phát được viết trong văn liệu về thủy điện là sông Ngòi Phát. Theo Bản đồ tỷ lệ 1:50.000 tờ F-48-28 C & D, Cục Đo đạc và Bản đồ (2004) đoạn ở xã Mường Hum là sông Mường Hum, đoạn ở xã Bản Vược là sông Sinh Quyền. Tuy nhiên tên sông Sinh Quyền không thấy hiện trong các văn liệu trên mạng.
Alan Pinheiro

| Thông tin cá nhân |
| --- | --- | --- | --- |
Tên đầy đủ:  Alan Lopes Pinheiro
Ngày sinh:  13 tháng 5, 1992 (32 tuổi)
Nơi sinh:  Brumado, Brasil
Chiều cao:  1,80 m (5 ft 11 in)
Vị trí:  Tiền đạo
Thông tin đội
Đội hiện nay:  Tokyo Verdy
Số áo:  7
Sự nghiệp cầu thủ chuyên nghiệp*
| Năm |  Đội |  ST |  (BT) |
| 2012–2015 |  Esporte Clube Vitória |  21 |  (19) |
| 2013 |  → Ceará Sporting Club (mượn) |  1 |  (1) |
| 2013 |  → Kawasaki Frontale (mượn) |  10 |  (0) |
| 2014 |  → ASA (mượn) |  6 |  (3) |
| 2015 |  → Tokyo Verdy (mượn) |  31 |  (3) |
| 2016– |  Tokyo Verdy |  64 |  (20) |
 *Số trận ra sân và số bàn thắng ở câu lạc bộ tại giải quốc gia, chính xác tính đến 23 tháng 2 năm 2018
Alan Lopes Pinheiro (アラン・ピニェイロ, sinh ngày 13 tháng 5 năm 1992) là một cầu thủ bóng đá người Brasil. Hiện tại anh thi đấu cho câu lạc bộ tại J2 League Tokyo Verdy ở vị trí tiền đạo.
Thống kê câu lạc bộ

Cập nhật đến ngày 23 tháng 2 năm 2018.
| Thành tích câu lạc bộ> Mùa giải.Nhật Bản | Thành tích câu lạc bộ> Câu lạc bộ.Nhật Bản | Thành tích câu lạc bộ> Giải vô địch.Nhật Bản | Giải vô địch> Số trận.Giải vô địch | Giải vô địch> Bàn thắng.Giải vô địch | Cúp> Số trận.Cúp Hoàng đế Nhật Bản | Cúp> Bàn thắng.Cúp Hoàng đế Nhật Bản | Cúp Liên đoàn> Số trận.J. League Cup | Cúp Liên đoàn> Bàn thắng.J. League Cup | Tổng cộng> Số trận.Tổng cộng | Tổng cộng> Bàn thắng.Tổng cộng |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2013 | Kawasaki Frontale | J1 League | 10 | 0 | 2 | 2 | 2 | 0 | 14 | 2 |
| 2015 | Tokyo Verdy | J2 League | 31 | 3 | 2 | 1 | – | – | 33 | 4 |
| 2016 | Tokyo Verdy | J2 League | 25 | 3 | 2 | 0 | – | – | 27 | 3 |
| 2017 | Tokyo Verdy | J2 League | 39 | 17 | 0 | 0 | – | – | 39 | 17 |
| Tổng | Tổng | Tổng | 115 | 23 | 6 | 3 | 2 | 0 | 123 | 26 |
Danh hiệu

Campeonato Baiano (1): 2013
Campeonato Baiano Á quân (1): 2012
Coelidium pageae

| Coelidium pageae> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
(không phân hạng): Rosids
Bộ (ordo): Fabales
Họ (familia): Fabaceae
Chi (genus): Coelidium
Loài (species): C. pageae
Danh pháp hai phần
Coelidium pageae L.Bolus 
Coelidium pageae là một loài thực vật có hoa trong họ Đậu. Loài này được L.Bolus mô tả khoa học đầu tiên.
Chú thích

↑  The Plant List (2010). “Coelidium pageae”. Truy cập ngày 5 tháng 6 năm 2013.
Freycinetia novopomeranica

| Freycinetia novopomeranica> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Pandanales
Họ (familia): Pandanaceae
Chi (genus): Freycinetia
Loài (species): F. novopomeranica
Danh pháp hai phần
Freycinetia novopomeranica Martelli, 1910 
Freycinetia novopomeranica là một loài thực vật có hoa trong họ Dứa dại. Loài này được Martelli miêu tả khoa học đầu tiên năm 1910.
Chú thích

↑  The Plant List (2010). “Freycinetia novopomeranica”. Truy cập ngày 8 tháng 6 năm 2013.
Echinotheridion cartum

| Echinotheridion cartum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Theridiidae
Chi (genus): Echinotheridion
Loài (species): E. cartum
Danh pháp hai phần
Echinotheridion cartum Levi, 1963 
Echinotheridion cartum là một loài nhện trong họ Theridiidae.
Loài này thuộc chi Echinotheridion. Echinotheridion cartum được Herbert Walter Levi miêu tả năm 1963.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Cyphostemma ornatum

| Cyphostemma ornatum> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Vitales
Họ (familia): Vitidaceae
Chi (genus): Cyphostemma
Loài (species): C. ornatum
Danh pháp hai phần
Cyphostemma ornatum (A.Chev. ex Hutch. & Dalziel) Desc., 1967 
Cyphostemma ornatum là một loài thực vật hai lá mầm trong họ Nho. Loài này được (A.Chev. ex Hutch. & Dalziel) Desc. miêu tả khoa học đầu tiên năm 1967.
Chú thích

↑  The Plant List (2010). “Cyphostemma ornatum”. Truy cập ngày 8 tháng 6 năm 2013.
Coelidium parvifolium

| Coelidium parvifolium> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
(không phân hạng): Rosids
Bộ (ordo): Fabales
Họ (familia): Fabaceae
Chi (genus): Coelidium
Loài (species): C. parvifolium
Danh pháp hai phần
Coelidium parvifolium (Thunb.) Druce 
Coelidium parvifolium là một loài thực vật có hoa trong họ Đậu. Loài này được (Thunb.) Druce mô tả khoa học đầu tiên.
Chú thích

↑  The Plant List (2010). “Coelidium parvifolium”. Truy cập ngày 5 tháng 6 năm 2013.
Ebringen

| Ebringen   |
| --- | --- |

  Huy hiệu
Vị trí của Ebringen   thuộc Huyện Breisgau-Hochschwarzwald  
Ebringen  
Quốc gia: Đức
Bang: Baden-Württemberg
Vùng hành chính: Freiburg
Huyện: Breisgau-Hochschwarzwald
Phân chia hành chính: 3
Chính quyền
 • Thị trưởng: Rainer Mosbach
Diện tích
 • Tổng cộng: 8,18 km2 (316 mi2)
Độ cao cực đại: 644 m (2,113 ft)
Độ cao cực tiểu: 245 m (804 ft)
Dân số (2020-12-31)
 • Tổng cộng: 2.901
 • Mật độ: 3,5/km2 (9,2/mi2)
Múi giờ: CET (UTC+01:00)
 • Mùa hè (DST): CEST (UTC+02:00)
Mã bưu chính: 79285
Mã vùng: 07664
Biển số xe: FR
Trang web: www.ebringen.de
Ebringen (Breisgau) là một đô thị trong huyện Breisgau-Hochschwarzwald bang Baden-Württemberg in southern thuộc nước Đức. Đô thị Ebringen có diện tích 8,18 km². Dân số thời điểm 31 tháng 12 năm 2020 là 2901 người.
Ebringen có cự ly 5 km về phía nam Freiburg và thuộc vùng đô thị Freiburg.
Clinopodium discolor

| Clinopodium discolor> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Lamiales
Họ (familia): Lamiaceae
Chi (genus): Clinopodium
Loài (species): C. discolor
Danh pháp hai phần
Clinopodium discolor (Diels) C.Y.Wu & S.J.Hsuan ex H.W.Li, 1974 
Clinopodium discolor là một loài thực vật có hoa trong họ Hoa môi. Loài này được (Diels) C.Y.Wu & S.J.Hsuan ex H.W.Li mô tả khoa học đầu tiên năm 1974.
Chú thích

↑  The Plant List (2010). “Clinopodium discolor”. Truy cập ngày 5 tháng 6 năm 2013.
Freycinetia novobritannica

| Freycinetia novobritannica> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Pandanales
Họ (familia): Pandanaceae
Chi (genus): Freycinetia
Loài (species): F. novobritannica
Danh pháp hai phần
Freycinetia novobritannica Huynh, 2002 
Freycinetia novobritannica là một loài thực vật có hoa trong họ Dứa dại. Loài này được Huynh mô tả khoa học đầu tiên năm 2002.
Chú thích

↑  The Plant List (2010). “Freycinetia novobritannica”. Truy cập ngày 8 tháng 6 năm 2013.
Tolmera culminata

| Tolmera culminata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Geometridae
Chi (genus): Tolmera
Loài (species): T. culminata
Danh pháp hai phần
Tolmera culminata Prout, 1928 
Tolmera culminata là một loài bướm đêm trong họ Geometridae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 17 tháng 6 năm 2014.
Trận Mã Lăng

Trận Mã Lăng (chữ Hán: 馬陵之戰, Hán Việt: Mã Lăng chi chiến) là cuộc chiến tranh diễn ra vào giữa thời Chiến Quốc trong lịch sử Trung Quốc, có sự tham gia của hai nước chư hầu tức là nước Ngụy và nước Tề.
Bối cảnh và nguyên nhân

Sau khi thất bại ở trận Quế Lăng (năm 353 TCN) trước quân lực của nước Tề, nước Ngụy lại ra sức gây chiến tranh với hai nước Triệu, Hàn. Do không thể chống lại sự tấn công dồn dập của quân Ngụy, đến năm 342 TCN, nước Hàn cử sứ sang cầu viện nước Tề. Tề Uy vương nghe theo ý kiến của Tôn Tẫn, không ra quân ngay, mà đợi khi quân Ngụy mệt nhọc mới ra quân. Sau đó, mặc dù đã kiên trì kháng chiến, song quân Hàn vẫn bị quân Ngụy đánh bại liên tục, đành phải sang Tề cầu cứu lần thứ hai. Tề Uy vương bằng lòng, sai Điền Kỵ làm chủ tướng, Điền Anh làm phó tướng, Tôn Tẫn làm quân sư, xuất quân cứu Hàn.
Quân nước Tề làm theo kế hoạch trong trận Quế Lăng, đem quân đánh vào kinh đô Đại Lương nước Ngụy, để buộc quân Ngụy phải giải vây nước Hàn, về cứu Đại Lương. Trận chiến Mã Lăng bùng nổ.
Diễn biến cuộc chiến

Ngụy Huệ vương được tin quân Tề tấn công, lập tức cử triệu quân đang ở nước Hàn về, sai Thái tử Thân làm Thượng tướng quân, Bàng Quyên làm tướng, đem 10 vạn quân quyết chiến với Tề. Quân Tề ở trong lãnh thổ nước Ngụy, thấy quân Ngụy tấn công cũng quyết định ở lại chiến đấu.
Tôn Tẫn thấy rằng quân Ngụy dũng cảm thiện chiến, khinh thường quân Tề, bèn sử dụng kế rút bếp, theo đó cứ ngày hôm sau thì lại cho làm ít bếp ở doanh trại hơn so với ngày hôm trước, ngày đầu 10 vạn cái, ngày hôm sau còn 5 vạn cái và đến hôm sau nữa còn 3 vạn cái. Bàng Quyên thấy số bếp của quân Tề hao hụt, tưởng là sĩ tốt nước Tề đã bỏ trốn quá nửa nên chủ quan, không đem theo bộ binh, chỉ lấy một bộ phận kị binh đuổi theo, bất kể ngày đêm.
Tôn Tẫn biết quân Ngụy đã trúng kế, và trù tính được quân Ngụy sẽ đi ngang qua địa phận Mã Lăng, một nơi địa thế hiểm trở, khi bị bao vây thì khó rút chạy, bèn đặt phục binh ở đó, và ra lệnh hễ nơi nào thấy ánh lửa nổi lên thì lập tức bắn vào chỗ đó, sau đó lấy một khúc gỗ to cạo sạch vỏ, lấy than khắc lên dòng chữ: "Bàng Quyên sẽ chết dưới cây này".
Bàng Quyên quả nhiên trong đem tối đã đưa quân tới Mã Lăng, thấy cây gỗ của Tôn Tẫn, sai đốt lửa lên để đọc. Ngay lúc đó, quân Tề mai phục ở hai phía liền bắn tên vào chỗ ánh lửa. Bàng Quyên bị trúng tên còn quân Ngụy bị đánh đại bại. Bàng Quyên tuyệt vọng, than: "Toại khiếu thụ tử thành danh" (Ta làm cho cái thằng ấy nổi danh) rồi tự sát.
Kết quả và ý nghĩa

Sau khi đánh bại quân Ngụy ở Mã Lăng, Tôn Tẫn lập tức cho quân truy kích, tiêu diệt 10 vạn quân nước Ngụy, bắt sống thái tử Thân. Trận chiến Mã Lăng kết thúc với sự thắng lợi hoàn toàn dành cho nước Tề.
Trận thua ở Mã Lăng, cùng với trận Quế Lăng trước đó và trận Hà Tây lần thứ 2 sau đó đã chấm dứt hi vọng tranh bá của nước Ngụy, đưa nước Ngụy vào thời kì suy yếu. Còn đối với nước Tề, trận thắng này có ý nghĩa quan trọng, giúp củng cố thế lực của nước Tề, và đưa nước Tề lên địa vị bá chủ ở phía đông.