数学基礎論

カントールの対角線論法（Cantor's Diagonal Argument） - 実数が有理数より「圧倒的に多い」ことの証明