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