摘要
本文用超限归纳法给出L.A.Zadeh模糊集合系统的可逆模型,证明了该模型是2ermelo-Fraenkel公理集合理论的一个格值模型,建立了L.A.Zadeh模糊集合系统的数理逻辑基础。
In this paper,We give transitive model of L. A. Zadeh's fuzzy set system by transfi-nite induction,it is proved that this model is lattice-valued model of Zermelo-Fraenke laxiomatic set theory, and We estabished mathematical logic foundation of L. A. Zadeh' sfuzzy set system.