Wahrheit und Beweisbarkeit 1. Dokumente und historische Analysen

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

On formally undecidable propositions of Principia mathematica and related systems

La prova matematica dell'esistenza di Dio