그냥 취미로 논리학 공부하는데
괴델의 불완전성정리에서 어떤 명제에 대해 참이되게 하는 supergodel number를 확인하는 proof함수를 pr로 정의하잖아요
책 후반부에 2차논리랑 타르스키 정리 같은게 나오는데 엄밀하게 다 증명하고 가는게 좋을까요?
아니면 어느정도까지 이해하는게 좋을까요?