6.3 实数(2)