不可证明性 拼音 bù kě zhèng míng xìng · 注音 ㄅㄨˋ ㄎㄜˇ ㄓㄥˋ ㄇㄧㄥˊ ㄒㄧㄥˋ · 2026-07-16 06:23:25 不字组词 可字组词 证字组词 明字组词 性字组词 基本属性 拼音字母bu ke zheng ming xing 拼音首字母bkzmx 注音符号ㄅㄨ ㄎㄜ ㄓㄥ ㄇㄧㄥ ㄒㄧㄥ 扩展释义 不可证明性(unprovability)是1993年公布的数学名词。