Formulera och förklara Kurt Gödels första ofullständighetsteorem. Vad menas med att i alla tillräckligt starka formella system som är konsekventa, finns det påståenden som varken kan bevisas eller motbevisas inuti systemet? Hur påverkade detta Hilberts program och vår syn på matematisk sanning?