suàn shù huà · ㄙㄨㄢˋ ㄕㄨˋ ㄏㄨㄚˋ · 更新 2026-06-30 04:05:32
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。