クルト・ゲーデル
1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik 38: 173–98.
The Consistency of the Continuum Hypothesis. Annals of Mathematics Sutdies. 3. (1940-9-1). Princeton University Press. ISBN 0-691-07927-7
『数学基礎論 撰出公理及び一般連続仮説の集合論公理との無矛盾性』近藤洋逸訳、伊藤書店、1946年4月。
ISBN 0-19-503972-6. http://ukcatalogue.oup.com/product/9780195039726.do Gödel, Kurt (2001-6-21). Collected Works: Publications 1938-1974. II. Solomon Feferman et al.ed. (Paperback ed.). Oxford University Press. ISBN 0-19-514721-9. http://ukcatalogue.oup.com/product/9780195147216.do
Gödel, Kurt (1995-3-30). Collected Works: Unpublished Essays & Lectures. III. Solomon Feferman et al.ed. (Hardcover ed.). Oxford University Press. ISBN 0-19-507255-3. http://ukcatalogue.oup.com/product/9780195072556.do Gödel, Kurt (2001-5-31). Collected Works: Unpublished Essays & Lectures.