泛函分析中连续模型定理的证明

在泛函分析中一个连续模型定理证明中更为直接、简明的证明方法。