Förklara Kurt Gödels ofullständighetsteorem på ett teoretiskt plan. Hur påverkar dessa teorem vår förståelse för matematikens och formella systemens begränsningar? Diskutera vad det innebär att det finns sanna påståenden som inte kan bevisas inuti ett givet formellt system.