>>278
中間値の定理は実数の連続性からきてるし実数の連続性の公理はアルキメデスの原理を含んでるんだからそこまで考える必要はないのでは？