Omów drugie twierdzenie Gödla o niezupełności. Wyjaśnij, dlaczego żaden spójny system formalny wystarczająco potężny, aby obejmować arytmetykę, nie może udowodnić własnej niesprzeczności. Jak to twierdzenie podważa program Hilberta dążenia do absolutnych fundamentów matematyki?