Goerdel's theorem