(前フリ)
①対角線論法で有理数が可算集合であることを証明しようとした。
(有理数に順番をつけようとした)
↓
失敗
↓
別の順番のつけかたを思いついた
↓
成功(有理数に順番がつけられた)
↓
有理数は可算集合


②対角線論法で無理数が可算集合であることを証明しようとした。
(無理数に順番をつけようとした)
↓
失敗
↓
別の順番のつけかたを考えようとした
↓
失敗
↓
無理数は非可算集合のまんま



(本題)
もし将来、無理数に順番をつける上手いやり方を発見すれば、
無理数は可算集合になる？