2022-10-31から1日間の記事一覧

[集合論] Cantor-Bernsteinの定理(Jech本p.28 Theorm 3.2) .ind { margin-left: 2em; line-height: 2.0; } Part I 第三章に突入である.冒頭にCardinalityの定義は,正則性公理(基礎の公理)あるいは選択公理を使うとの気になる話があった.選択公理から…