gödel's completeness theorem
添加释义
Gödel's completeness theorem
-
abstract:
Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first-order logic. It makes a close link between model theory that deals with what is true in different models, and proof theory that studies what can be formally proven in particular formal systems.
以上来源于:
WordNet