上限公理を認めないと実数が構成できないと思うけどな^^