不可证明性

bù kě zhèng míng xìng · ㄅㄨˋ ㄎㄜˇ ㄓㄥˋ ㄇㄧㄥˊ ㄒㄧㄥˋ

修撰于 2026-06-30 11:15:03

拼音bù kě zhèng míng xìng
字母bu ke zheng ming xing
首字母bkzmx
注音ㄅㄨˋ ㄎㄜˇ ㄓㄥˋ ㄇㄧㄥˊ ㄒㄧㄥˋ
注音符号ㄅㄨ ㄎㄜ ㄓㄥ ㄇㄧㄥ ㄒㄧㄥ

广

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