实数完备性研究及应用 -