有理数より無理数のほうが圧倒的に多いというのはどうやって証明するのですか？
対角線論法だと、有理数よりも少なくとも１つ多い無理数が存在するということしか言えないように思えます。