>>40 & >>272試論進展決着
実数体を{Archimedesの公理差替[0.999…<1.999…/2<1]公理導入}した系は解析利用不可
∵ 極限や無限の概念定義を標準から[0.999…<1.999…/2<1]公理に基づいた改編を行うと
極限が一部を除き一般には無効に成る為に解析利用不能｡

事前予想通り[0.999…<1.999…/2<1]公理系は実用に即して居なかった｡