[集合論] 気づいてしまったシリーズ － の彼方編 .ind { margin-left: 2em; line-height: 2.0; } Jech本を読み進めているが，次のCofinalityの節の証明でJech先生は手を抜きすぎでなかなかのギャップがある．まあ，イントロ的な章なのでこんな手抜き具合なの…

[集合論] Canonical Well-Ordering of （Jech本p.30） .ind { margin-left: 2em; line-height: 2.0; } 本節の最終目標はテキストp.31の(3.14) というシンプルな公式である．この証明のために，クラスの積 にwell-orderingを次のように定義する． おや？ この…

[集合論] Alephs（Jech本p.29） .ind { margin-left: 2em; line-height: 2.0; } cardinalはもともとは集合の同値類として定義されているが，その代表元を順序数から選びたいという流れである．ただし選択公理を使った議論は5章を待てということらしい．まず…