释
不可证明性
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年公布的数学名词。
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年公布的数学名词。