任一有上下界的非空有理數集必有實數的上下確界

題目：

任一有上下界的非空有理數集必有實數的上下確界

解答：

在實數理論中最基本的一條公理就是所謂的確界原理：「任何有上界(下界）的非空數集必存在上確界（下確界）」.
公理的話貌似不用證明吧,參見