百 思墨词语词典 - 汉语词典大全 作者 2026-07-10 05:11:28 算术化 拼音 suàn shù huà · 注音 ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ 基本属性 拼音字母suan shu hua 拼音首字母ssh 注音符号ㄙㄨㄢ ㄕㄨ ㄏㄨㄚ 扩展释义 算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。