12/05/27 02:30:28.86
>>547
まあ、１点だけ残る例なら >>535 でr>0とすれば構成できるけど、
必ず１点は残ることをきちんと証明しようとすると、
非可算無限を扱うのでいろいろ工夫がいりそう
自明に思えることがなかなかうまく証明できないという
12/05/27 02:30:28.86
>>547
まあ、１点だけ残る例なら >>535 でr>0とすれば構成できるけど、
必ず１点は残ることをきちんと証明しようとすると、
非可算無限を扱うのでいろいろ工夫がいりそう
自明に思えることがなかなかうまく証明できないという