はてなキーワード: 可算無限集合とは
「可算無限集合からの単射が存在する」ことを「無限集合」の定義として採用しちゃいかんの？
ZFの「無限の公理」で要求されてるのもそういう意味での「無限集合」の存在だよね。
「無限集合」をどう定義した前提で言ってるのかよくわからない。
「無理数が無限個あるか、についての議論」というのも、いつ誰が何のために要求したのかもよくわからない。要求されている問によって必要な答えは変わるのに。
Permalink | 記事への反応(1) | 16:57
ツイートシェア
