bn:00405927n
Noun Named Entity
Categories: 数学定理, 數理邏輯, 证明论, 模型论
ZH
哥德尔完备性定理  哥得尔完备性定理  哥德尔完全性定理  强完备性定理  哥德尔不完备性定理
ZH
哥德尔完备性定理是数理逻辑中重要的定理,在1929年由库尔特·哥德尔首先证明。 Wikipedia
Definitions
Relations
Sources
ZH
哥德尔完备性定理是数理逻辑中重要的定理,在1929年由库尔特·哥德尔首先证明。 Wikipedia