Beskriv Kurt Gödels första och andra ofullständighetsteorem på ett tillgängligt sätt. Förklara hur dessa teorem påverkade matematikens grundvalar och David Hilberts program. Diskutera implikationerna av teoremen: betyder det att det finns sanningar inom matematiken som inte kan bevisas, och hur skiljer sig sanning från bevisbarhet i detta sammanhang?