칸토어가 실수가 자연수보다 많음을 증명하는 데 사용한 방법실수 집합이 비가산집합임을 보이는 데 사용된다 대각선 논법 - 위키백과, 우리 모두의 백과사전자연수(음이 아닌 정수)의 집합 과 실수 구간 사이에는 전단사 함수가 존재하지 않으며, 이는 대각선 논법으로 증명할 수 있다. 이는 실수의 집합 이 비가산 집합이라는 명제와 동치이다. 이 명제가 참인지를 묻는 문제는 게오르크 칸토어가 1873년에 리하르트 데데킨트에게 보내는 서신에서 처음 제기하였다.https://ko.wikipedia.org/wiki/%EB%8C%80%EA%B0%81%EC%84%A0_%EB%85%BC%EB%B2%95
