Disambiguation evidence for Gödel's incompleteness theorems via surface form
"Gödel’s first incompleteness theorem"
Triples (2)
Triples where some other subject referred to this entity
as "Gödel’s first incompleteness theorem".
Rosser trick
→
generalizes
→
"Gödel’s first incompleteness theorem"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Rosser’s trick in incompleteness proofs
→
strengthens
→
"Gödel’s first incompleteness theorem"
ⓘ
↳ resolves to Gödel's incompleteness theorems