![見出し画像](https://assets.st-note.com/production/uploads/images/87044124/rectangle_large_type_2_7925c1b991f44f67a84d8b54eb0b5cf3.png?width=800)
ツォルンの補題 7: 超限帰納法による定義 (Transfinite Induction) ; 累積階層の定義
今回はツォルンの補題の第7回で、超限帰納法による定義(Transfinite Induction) ; 累積階層の定義についてやります。
超限帰納法による定義は第2回でツォルンの補題の証明で、ツォルンの補題を否定したときにstrict な chain の増大列が定義できるという形で説明しましたが、また説明します。累積階層についてもまたやります。
この記事が気に入ったらサポートをしてみませんか?