任一有上下界的非空有理数集必有实数的上下确界
问题描述：
任一有上下界的非空有理数集必有实数的上下确界
答
在实数理论中最基本的一条公理就是所谓的确界原理：“任何有上界(下界）的非空数集必存在上确界（下确界）”.
公理的话貌似不用证明吧,参见