Förklara Kurt Gödels första ofullständighetsteorem. Diskutera teoretiskt varför det i varje tillräckligt kraftfullt formellt axiomsystem (som kan beskriva aritmetik) finns påståenden som varken kan bevisas eller motbevisas inifrån systemet. Vilka är konsekvenserna för matematikens grundvalar?