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