2023年7月16日日曜日

324: オーディナル(順序)数たちの降順シーケンス(列)は有限である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

オーディナル(順序)数たちの降順シーケンス(列)は有限であることの記述/証明

話題


About: セット(集合)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、オーディナル(順序)数たちの任意の降順シーケンス(列)は有限であるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


オーディナル(順序)数たちの任意の降順シーケンス(列)o0,o1,...、ここで、...o2o1o0、はあるonで終了する。


2: 証明


オーディナル(順序)数たちの任意のコレクションは最小要素を持つという命題によって、{oi}の最小要素、それはonである、が存在する。すると、on+1はない、なぜなら、それはより小さい要素だということになるから、矛盾。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>