twierdzenie Gödla