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