Förklara innebörden av Kurt Gödels första ofullständighetsteorem. Diskutera varför ett tillräckligt kraftfullt formellt system som kan uttrycka elementär aritmetik inte kan vara både fullständigt och konsistent. Vad betyder detta för möjligheten att skapa en allmän formell bevisföring?