>>966
>原理的にはロルの定理や中間値の定理などからデデキントの公理が証明出来るとある。
>デデキント切断とデデキントの公理は集合論的な話で同値なんだよ。

循環しているなら、「厳密」というのがもう幻想なんじゃないの？