>>629 補足

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

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