數學基礎論

康托爾的對角線論證（Cantor's Diagonal Argument） - 實數比有理數「壓倒性地多」的證明