Disambiguation evidence for completeness theorem for first-order logic via surface form
"compactness theorem"
Triples (1)
Triples where some other subject referred to this entity
as "compactness theorem".
Herbrand's theorem
→
relatedTo
→
"compactness theorem"
ⓘ
↳ resolves to completeness theorem for first-order logic