2023年5月14日日曜日

281: どの2セット(集合)たちもお互いをメンバーとして持つことはない

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

どの2セット(集合)たちもお互いをメンバーとして持つことはないことの記述/証明

話題


About: セット(集合)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、お互いをメンバーとして持つような2セット(集合)たちはないという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


以下を満たすS1,S2、つまり、S1S2およびS2S1、はない。


2: 証明


本命題はレギュラリティ(正規性)公理からくる。

S1S2およびS2S1であると仮定する。サブセット(部分集合)公理によって、S1:={sS1|s=S2}={S2}およびS2:={sS2|s=S1}={S1}はセット(集合)たちだということになる。ユニオン(和集合)公理によって、S:=S1S2={S1,S2}はセット(集合)だということになる。SS1、なぜなら、S2SおよびS2S1、そして、SS2、なぜなら、S1SおよびS1S2、矛盾、レギュラリティ(正規性)公理に反して。




参考資料


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