本 文 在 模 糊 命题 演 算 的 形 式 演 绎 系 统 义＊ 中 引 入 了 封 闭 理 论 的 概念 ， 讨 论 了 封 闭 理 论 的 基 本 性 质 ， 并利 用 封 闭 理 论 给 出 了 形 式 演 绎 系 统 义＊ 的 基 于 公 式 集 的 完 备 性 的 证 明 ． 首 先， 在 形 式 演 绎 系 统 义＊ 中 引 入 了 封 闭 理 论 的 概念 ， 给 出 了 理论 封 闭 化 扩 张 的 方 法 ； 其次 ， 在 形 式 演 绎 系 统 义＊ 中 引 入 了 完 全