対角線論法は前から知ってた。でもやっぱりこれは凄いと思った。 新たに知ったことで感動したのは、R ~ P(N)、つまり、実数の濃度と自然数全体の集合の巾集合*1の濃度が等しいこと。 それから、前に万物が集合って書いたけど、写像もなんと集合だったりとか…