Disambiguation evidence for Gödel's incompleteness theorems via surface form
"Gödel’s second incompleteness theorem"
Triples (1)
Triples where some other subject referred to this entity
as "Gödel’s second incompleteness theorem".
Hilbert’s second problem
→
connectedToResult
→
"Gödel’s second incompleteness theorem"
ⓘ
↳ resolves to Gödel's incompleteness theorems