实数完备性的启发与猜想