ツォルンの補題 7: 超限帰納法による定義 (Transfinite Induction) ; 累積階層の定義

今回はツォルンの補題の第7回で、超限帰納法による定義(Transfinite Induction) ;  累積階層の定義についてやります。
　超限帰納法による定義は第2回でツォルンの補題の証明で、ツォルンの補題を否定したときにstrict な chain の増大列が定義できるという形で説明しましたが、また説明します。累積階層についてもまたやります。