피터 캐머런의 수리논리학 입문이고요

사진의 정리의 c번 증명 부탁드립니다