2023年5月28日日曜日

287: オーディナル(順序)数たちのアンバウンデッドな(範囲限定されていない)コレクションはセット(集合)ではない

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

オーディナル(順序)数たちのアンバウンデッドな(範囲限定されていない)コレクションはセット(集合)ではないことの記述/証明

話題


About: セット(集合)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、オーディナル(順序)数たちの任意のアンバウンデッドな(範囲限定されていない)コレクションはセット(集合)ではないという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


オーディナル(順序)数たちの任意のアンバウンデッドな( 範囲限定されていない)コレクションOϵオーダリング(順序)によって順序付けられたものはセット(集合)ではない。


2: 証明


Oは全てのオーディナル(順序)数たちのコレクションである、なぜなら、任意のオーディナル(順序)数 o1に対して、あるオーディナル(順序)数o2O,o1o2がある、したがって、o1Oブラリ - フォルティ定理によって、Oはセット(集合)ではない。したがって、Oはセット(集合)ではない、なぜなら、もしも、 Oがセット(集合)であったら、Oはセット(集合)だろう、ユニオン(和集合)公理によって。


参考資料


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