On formally undecidable propositions of Principia mathematica and related systems

Kurt Gödel

Kurt Gödel - Collected Works

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory

Maximen VI / Maxims VI

Maximen V / Maxims V

Maximen III

Philosophische Notizbücher

Consistency of the Continuum Hypothesis. (AM-3), Volume 3

La prova matematica dell'esistenza di Dio

Wahrheit und Beweisbarkeit 1. Dokumente und historische Analysen