Disambiguation evidence for completeness theorem for first-order logic via surface form
"completeness theorem for first-order logic"
Triples (1)
Triples where some other subject referred to this entity
as "completeness theorem for first-order logic".
Kurt Gödel
→
notableWork
→
"completeness theorem for first-order logic"
ⓘ
↳ resolves to completeness theorem for first-order logic