411 REFERENCE · Wiktionary
Gödel sentence
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Noun
en logic mathematics An arithmetic statement that can be metatheoretically shown to not be provable or refutable in a formal system.