如何用有限覆盖定理证明确界原理?不要用别的完备性知识