Diplomarbeit aus dem Jahr 2001 im Fachbereich Mathematik - Zahlentheorie, Note: Sehr Gut, Universität Salzburg, Sprache: Deutsch, Abstract: Die von Kurt Gödel 1931 veröffentlichten sogenannten Unvollständigkeitssätze haben das Bild der modernen Mathematik nachhaltig geprägt, da sie die Grenzen der axiomatischen Methode aufzeigten. Die vorliegende Arbeit versucht nach einer historischen und terminologischen Einführung Gödels geniale Beweismethode für den Ersten Unvollständigkeitssatz verständlich darzustellen, indem der Beweis in vier Teile zerlegt wird, die wiederum schrittweise vertieft werden. Dadurch wird es dem Leser ermöglicht, sich nur jene Teile des Beweises, die für ihn von besonderem Interesse sind, bis zum gewünschten Detailgrad anzueignen. Spezielle mathematische Vorkenntnisse werden nicht vorausgesetzt.