>>526
>>511では有限小数は定義されていない。
もし定義したければご自由に。論理的には自由だ。
例えば次のような定義が考えられる:

整数aと0から9までの有限個の自然数a_1, a_2, ... a_nに対して、
0の事を「a . a_1 a_2 …a_n」と書き、これを0の小数展開と定義する。
つまり「a . a_1 a_2 …a_n=0」と(左辺を右辺で)定義する。

この定義の下では0.5や0.95や0.99999999999999999999999995はどれも0に等しく、
0は0.5や0.95や0.99999999999999999999999995といった小数展開を持つ。