Gödel sentenceWiktionary 原文英美释义名词noun1(logic, mathematics) An arithmetic statement that can be metatheoretically shown to not be provable or refutable in a formal system.