不可证明性

拼音bù kě zhèng míng xìng 注音ㄅㄨˋ ㄎㄜˇ ㄓㄥˋ ㄇㄧㄥˊ ㄒㄧㄥˋ 更新2026-07-27 19:14:10
读音信息
拼音字母
bu ke zheng ming xing
拼音首字母
bkzmx
注音符号
ㄅㄨ ㄎㄜ ㄓㄥ ㄇㄧㄥ ㄒㄧㄥ
注音首字母
ㄅㄎㄓㄇㄒ
百科释义

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