Über mathematische Aussagen, die samt ihrer Negation nachweislich unbeweisbar sind der Unvollständigkeitssatz von Gödel - Franz, Wolfgang 1905-1996 (Steiner, 1977)
Keywords: Gödel, Théorème de; Incompleteness theorems; Proof theory; Mathematische Logik; Gödelscher Unvollständigkeitssatz; Beweisbarkeit; Aussage -- Mathematik