칸토르의 대각선 논증은 수학자 게오르크 칸토르가 제안한 방법으로, 실수 집합이 자연수 집합보다 더 많은 원소를 가진다는 것을 보여줍니다. 이 논증은 모든 실수를 나열할 수 있다고 가정한 후, 새로운 실수를 생성하여 이 가정이 모순임을 증명합니다. 이 방법은 무한의 개념을 탐구하며, 가산 무한과 비가산 무한의 차이를 설명합니다. 칸토르의 대각선 논증은 집합론의 기초를 형성하고, 수학과 철학에서 무한의 본질에 대한 논의를 촉진했습니다.