更新时间：2026-07-10 13:02:52
求解答，词语「算术化」是什么意思？再说说算术化有什么含义？
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。
欢迎使用深词马克汉语词典！我们致力于提供最全面的词语查询服务，包括成语、近义词、反义词、组词等。如有任何问题，欢迎联系我们。