現代数学の系譜　カントル　超限集合論

現代数学の系譜　カントル　超限集合論at MATH

現代数学の系譜　カントル　超限集合論 - 暇つぶし2ch704:現代数学の系譜雑談 ◆e.a0E5TtKE
19/12/07 15:49:49 H2e5WMAT.net
>>629 補足

0、{0}、{{0}}、・・・、{・・{0}・・}n重、・・・
この列が、もし有限で終われば、
集合｛0、{0}、{{0}}、・・・、{・・{0}・・}n重、・・・｝
は、無限集合ではない

この対偶で
集合｛0、{0}、{{0}}、・・・、{・・{0}・・}n重、・・・｝が無限集合なら
列 0、{0}、{{0}}、・・・、{・・{0}・・}n重、・・・は、有限で終わらない
QED ｗ（＾＾；

次ページ

続きを表示

1を表示