[集合論]InductionとRecursion .ind { margin-left: 2em; line-height: 2.0; } タイトルは和訳では、『帰納と再帰』となるだろうか。最近読んでいたどれかの本で（Jech本ではなかった気がする）数学書でもこの２つの用語がごっちゃになってることがあるとの…

[集合論]任意の無限集合は可算無限集合を含む（のか？） .ind { margin-left: 2em; line-height: 2.0; } タイトルの『任意の無限集合は可算無限集合を含む』は選択公理の話題には必ず出てくる有名な命題である。まずダメだとされる証明をあげよう。＜証明 Ve…