17/04/29 15:29:03.07 w5CJXsic.net
>>362 補足
”有理数からなる集合は可算無限集合である”
このカントールが始めたという論法の面白さは、無限集合については、ある方法では、自然数の集合Nからの１対１対応が否定されるとしても
（分数の分子だけ先に番号付けすれば、それだけで自然数との１対１対応が形成される。分母には別に自然数の集合が必要になる）
しかし、別の方法では、１対１対応がつくということ
17/04/29 15:29:03.07 w5CJXsic.net
>>362 補足
”有理数からなる集合は可算無限集合である”
このカントールが始めたという論法の面白さは、無限集合については、ある方法では、自然数の集合Nからの１対１対応が否定されるとしても
（分数の分子だけ先に番号付けすれば、それだけで自然数との１対１対応が形成される。分母には別に自然数の集合が必要になる）
しかし、別の方法では、１対１対応がつくということ