词语含义查询 · 在线释义
查询结果
bù kě zhèng míng xìng · ㄅㄨˋ ㄎㄜˇ ㄓㄥˋ ㄇㄧㄥˊ ㄒㄧㄥˋ
数据更新：2026-07-13 01:32:56
不可证明性（unprovability）是1993年公布的数学名词。