Omów w sposób przystępny, ale precyzyjny, dwa twierdzenia Kurta Gödla o niezupełności. Wyjaśnij, co oznacza, że system formalny wystarczająco rozbudowany, aby zawierać arytmetykę, nie może być jednocześnie spójny i zupełny.