1차 논리 체계에서 공리계로 PA를 채택했을 때, 재귀적 함수를 표상하는 법을 드디어 알게 됐음.

궁금한 사람은 연세대 김병한 교수님의 괴델의 불완전성 정리 강의노트 보면 됨.

크흑 감사합니다, 김병한 교수님.