自然数の全体集合Nは無限集合だが、どの要素をとってきても、
その中からさらに要素をとり・・・という操作を続けると有限回で空集合に行きつく
いかなる順序数についても、上記の性質は同様に成り立つ
非可算だろうがなんだろうが変わらない