方針1 0.999…=1.999…/2=1 実数体
方針2 0.999…=1.999…/2≠1 辞書式順序
方針3 0.999…≠1.999…/2≠1 順序不完備