更新时间：2026-07-16 04:15:35
求解答，词语「算术化」是什么意思？再说说算术化有什么含义？
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。
欢迎使用朴木新华词语词典！我们专注于提供权威、全面的汉语词语查询服务，涵盖成语、近义词、反义词、组词等丰富内容。无论是学生、教师还是文字工作者，都能在这里找到精准的词语解释与用法。专业、高效、友好，助您轻松掌握汉语词汇。