Disambiguation evidence for Gödel's incompleteness theorems via surface form
"Gödel's second incompleteness theorem"
Triples (2)
Triples where some other subject referred to this entity
as "Gödel's second incompleteness theorem".
Gödel's incompleteness theorems
→
hasPart
→
"Gödel's second incompleteness theorem"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Löb's theorem
→
relatedTo
→
"Gödel's second incompleteness theorem"
ⓘ
↳ resolves to Gödel's incompleteness theorems