proof of impossibility

廣播禁律（英语：No-broadcasting theorem） 隱藏禁律（英语：No-hiding theorem） 科亨－施佩克尔定理 阿罗不可能定理—社會科學中的一條關於排名投票的禁律 伽羅瓦理論—純數學上一個說明為何五次或更高次方程沒有通用根式解的理論。 不可能性證明（英语：proof of impossibility）

Simons, Roger A., 2011. Proof and Other Dilemmas: Mathematics and Philosophy （页面存档备份，存于互联网档案馆）. Mathematical Association of America. Hersh, Reuben, 1997

1]是可數無窮大的」不成立，證畢。 Original German text of the 1891 proof, with English translation A variation on Cantor's diagonal proof, completely formalized from first

Logikkalküls", doctoral dissertation, University Of Vienna, 1929. This dissertation is the original source of the proof of the completeness theorem. Kurt Gödel,

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. 2nd edition, Academic Press 2002. J. Lambek, P. J. Scott: Introduction