오오 좋은 일 하시는군여. 칭찬합니다!



덧)


교과서 말고 한국어로 나온 대중서 중에 불완전성 증명 같은 주제 다루는게 뭐가 있지? 네이글 & 뉴먼의 고전이 한국어 번역된거는 알고 있는데, 또 뭐가 있는지 생각이 잘 안나네.