不可证明性

释

刊载时间 2026-11-04 09:51:34

拼音bù kě zhèng míng xìng

字母bu ke zheng ming xing

首字母bkzmx

注音ㄅㄨˋ ㄎㄜˇ ㄓㄥˋ ㄇㄧㄥˊ ㄒㄧㄥˋ

注音符号ㄅㄨㄎㄜㄓㄥㄇㄧㄥㄒㄧㄥ

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

拆字组词