广义完备性定理

另请参阅

选择公理

使用 探索

参考文献

Mendelson, E. 数理逻辑导论，第 4 版。 伦敦: Chapman & Hall, p. 121, 1997.

在 上被引用

广义完备性定理

请引用为

韦斯坦因，埃里克·W. "广义完备性定理。" 来自 —— 资源。 https://mathworld.net.cn/GeneralizedCompletenessTheorem.html

主题分类