>>393
G=[0,1)⊂R
「1の左隣の実数」=g(∈Ｇ)とすると
∀a∈Ｇ、 a≠g → a < g

ここでgを求めようとした時には、gは存在しない、(存在すると矛盾するから)
という事で、(1-1/10^n)[n→∞]を求める時は＝１にしている。
∀n∈Ｎ、(1-1/10^n)≠0 だから
どちらも同じ数になると思うんだけど、一方は矛盾するから却下でもう一方は＝１というのは、
御都合主義的な気がしている。