实数系的完备性

• completeness of the system of real numbers