Gödel sentence en · NOUN
Meanings
- An arithmetic statement that can be metatheoretically shown to not be provable or refutable in a formal system.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Gödel sentences | Number=Plur | lexicographic |
Dictionary
Words, grammatical forms and meanings linked to the ontology.