找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 算术化
算术化(arithmetization)亦称哥德尔编码技巧.一种证明方法。它是美籍奥地利数学家哥德尔( K.Godel )在证明不完备性定理时首先明确使用的。 — 拼音 suàn shù huà，更新 2026-07-14 01:11:07