Gödel sentence

E2244905 UNEXPLORED

A Gödel sentence is a self-referential statement in a formal system that effectively asserts its own unprovability, demonstrating the system’s inherent incompleteness.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Gödel sentence canonical	2

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Rosser trick → relatesTo → Gödel sentence ⓘ

Rosser’s trick in incompleteness proofs → relatedConcept → Gödel sentence ⓘ