不可证明性的词语属性

不可证明性的百科含义

不可证明性（unprovability）是1993年公布的数学名词。