单词 ゲンツェン[Gerhard Gentzen] 释义 ゲンツェン[Gerhard Gentzen](1909—1945)ドイツの数学者·論理学者。自然数論の無矛盾性を証明。また,全称記号""の使用を创始。盖茨(1909—1945)。德国数学家、逻辑学家,证明自然数论的无矛盾性,并且首创使用任意符号“”。 日汉互译翻译词典包含403511条日汉翻译词条,涵盖了常用日语单词及词组短语的翻译及用法,是日语翻译入门的必备学习工具。 相关内容:“ゲルツェン[Aleksandr Ivanovich Gertsen]”日汉翻译“ゲルツェン”日汉翻译“ゲンツェン”日汉翻译“ゲンチアナ[ラ Gentiana]”日汉翻译“ゲル”日汉翻译