Disambiguation evidence for Gödel's incompleteness theorems via surface form
"Gödel incompleteness theorems"
Triples (5)
Triples where some other subject referred to this entity
as "Gödel incompleteness theorems".
Epimenides paradox
→
relatedTo
→
"Gödel incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
ZF
→
isIncompletenessSubjectTo
→
"Gödel incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Peano arithmetic
→
impliedBy
→
"Gödel incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Grundlagen der Mathematik
→
relatedTo
→
"Gödel incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems
Introduction to Metamathematics
→
topic
→
"Gödel incompleteness theorems"
ⓘ
↳ resolves to Gödel's incompleteness theorems