수학기초론

칸토어의 대각선 논법 (Cantor's Diagonal Argument) - 실수가 유리수보다 '압도적으로 많음'을 증명