基本属性
- 拼音字母jin xing ding li
- 拼音首字母jxdl
- 注音符号ㄐㄧㄣ ㄒㄧㄥ ㄉㄧㄥ ㄌㄧ
扩展释义
紧性定理(compactness theorem)在解的先验估计及解的存在性问题研究中起重要作用的定理.。在逻辑数学中,紧性定理表明,当且仅当每个有限子集具有模型时,一阶句子的集合具有模型。 这个定理是模型理论中的一个重要工具,因为它提供了用于构建有限一致的任何一组句子的模型的一种有用的方法。
「紧性定理」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:jǐn xìng dìng lǐ,注音:ㄐㄧㄣˇ ㄒㄧㄥˋ ㄉㄧㄥˋ ㄌㄧˇ。
紧性定理(compactness theorem)在解的先验估计及解的存在性问题研究中起重要作用的定理.。在逻辑数学中,紧性定理表明,当且仅当每个有限子集具有模型时,一阶句子的集合具有模型。 这个定理是模型理论中的一个重要工具,因为它提供了用于构建有限一致的任何一组句子的模型的一种有用的方法。