>>866
>>278-281を
1≠0.999…となる公理系の参考例示として
Wikiに書き加えて頂戴。