種別[statuses] aboutme:47467
セクションJRF のひとこと
日時2008年03月30日
元URLhttp://jrf.cocolog-nifty.com/statuses/2008/03/aboutme47467.html

一方、実数全体を含み、かつ無限個の長さの[0-9]列の「あと」に一つの数値がつづ…

一方、実数全体を含み、かつ無限個の長さの[0-9]列の「あと」に一つの数値がつづくという表現を許す集合は実数の集合よりも真に大きな集合となる。その要素である1.0…1は1どころか実数ではない。
JRF 2008年3月30日