Coba jelasin Publikasi penting dari Kurt Gödel dong

1930, "Die Vollständigkeit der Axiome des logischen Funktionenkalküls." Monatshefte für Mathematik und Physik 37: 349–60.

1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik 38: 173–98.

1932, "Zum intuitionistischen Aussagenkalkül", Anzeiger Akademie der Wissenschaften Wien 69: 65–66.

1940. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press.

1947. "What is Cantor's continuum problem?" The American Mathematical Monthly 54: 515–25. Revised version in Paul Benacerraf and Hilary Putnam, eds., 1984 (1964). Philosophy of Mathematics: Selected Readings. Cambridge Univ. Press: 470–85.

1950, "Rotating Universes in General Relativity Theory." Proceedings of the international Congress of Mathematicians in Cambridge, 1: 175–81