bù kě zhèng míng xìng · ㄅㄨˋ ㄎㄜˇ ㄓㄥˋ ㄇㄧㄥˊ ㄒㄧㄥˋ · 更新 2026-06-30 03:08:30
不可证明性（unprovability）是1993年公布的数学名词。