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