>>39
ほんとに実無限だと0.999…なんかは個物として扱われるから、右の0.999…と左の0.999…は別物
ということになり、属性の違いがあることも認められるのではないか。