completeness theorem for first-order logic
E100620
UNEXPLORED
The completeness theorem for first-order logic is a fundamental result in mathematical logic, proved by Kurt Gödel, which states that every logically valid first-order formula is provable from the axioms of first-order logic.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Kurt Gödel
→
|
notableWork |