(Apologies if I am in the wrong part of the forum) What branch of mathematics does Gödel's Incompleteness Theorem deal with?(I'm guessing Logic) and does anyone know any good books at the undergraduate level that would help to lay a foundation for understanding his theorem. I am "teaching myself" so the book(s) would need need to be fairly thorough. His theorem seems to be fairly important and my understanding of it is so poor. Thanks in advance for any and all responses.