twierdzenie godla