>>530
したいなら、実数論なしでも微積は理論展開出来るらしい。
それ位、実数論の論理は堂々巡りになっている。