As a philosophy major, at my university we do so in our "Advanced Symbolic Logic" class. However, the depth with which you engage with Gödel's theorem depends on the professor teaching it and their interests when designing the course (we have 2 specializing in mathematical logic who flip back and forth iirc).
I took the class just last semester in Spring.