Abstract

Welches ist das adäquate System für die Beweisbarkeit in formalisierbaren mathematischen Theorien? Um diese Frage zu beantworten, werden Gödels UnvoUständigkeitsbeweis und vor allem dessen Strukturen analysiert, die ihn als zu einer besonderen Gruppe innerhalb der selbstbezüglichen Sätze gehörig ausweisen. Weiters wird der Interpretationsstreit zwischen L. Wittgenstein und K. Gödel rekonstruiert und zuletzt eine Reihe semantischer Folgemngen aus Gödels Lösungsvorschlag gezogen.