Disambiguation evidence for Gödel's incompleteness theorems via surface form
"incompleteness theorems"
Triples (3)
Triples where some other subject referred to this entity
as "incompleteness theorems".
completeness theorem for first-order logic
→
contrastsWith
→
"incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Adele Gödel
→
spouseNotableFor
→
"incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems