괴델의 불완전성 정리

리샤르의 역설: 무한한 소수와 "대각선 논법"이 일으키는 모순