実数の連続性をデデキント完備性と考えるならば集合が必要だが、同値な条件に非集合論的なものは色々ある
そういった方向でいいならある程度できるだろう