https://mathoverflow.net/questions/32318/most-general-formulation-of-g%C3%B6dels-incompleteness-theorems


일차논리에 관한 불완전성 정리를 공부해도 유형이론 같은 다른 추론체계에도 불완전성 정리가 적용되는지 알기 어려울거기 때문에 가장 일반적인 불완전성 정리를 공부하는게 좋을듯. 그게 저 답변자가 소개한 책인거 같음. 난 안봤음