>>966
> だが、逆にロルの定理或いは平均値などの解析で使う何かの定理を仮定してデデキントの公理を証明するなどという話は余り聞かない。
何を興奮してるのか分からんけど、例えば杉浦解析入門Iの第1章第3節の節末問題。