There's better resources if you just want to know about Gödel's Incompleteness Theorem tbh. GEB is neat because of all the other ideas he ties into it.