Wyjaśnij w sposób zwięzły, ale dogłębny, znaczenie pierwszego i drugiego twierdzenia Gödla o niezupełności. Omów, dlaczego dowodzenie spójności systemu arytmetyki wewnątrz samego systemu jest niemożliwe oraz jakie są konsekwencje tych odkryć dla filozofii matematyki.