Skizzieren Sie die Bedeutung der Unvollständigkeitssätze von Kurt Gödel für die Grundlagen der Mathematik. Diskutieren Sie, warum diese Sätze zeigen, dass es in jedem hinreichend mächtigen axiomatischen System wahre Aussagen gibt, die nicht innerhalb des Systems bewiesen werden können.