CPT : 왜 괴델의 서거일을 세계 논리의 날로 만들기로 결정했습니까?