请输入您要查询的日文单词：
单词
ゲンツェン[Gerhard Gentzen]
释义
ゲンツェン
[
Gerhard Gentzen
]
(1909—1945)ドイツの数学者·論理学者。自然数論の無矛盾性を証明。また，全称記号""の使用を创始。
盖茨(1909—1945)。德国数学家、逻辑学家，证明自然数论的无矛盾性，并且首创使用任意符号“”。
随便看
super metal
supermodel
supernova
super oxide dismutase
super-prime rate
superrealism
supersonic
superstar
superstore
super tram
swimming glove
swimming school
swimsuit
swing
swinger
swing jazz
swing out
swing play
switch
switchback
switcher
switch-hitter
SWU
SWZ
SY
日汉互译翻译词典包含403511条日汉翻译词条，涵盖了常用日语单词及词组短语的翻译及用法，是日语翻译入门的必备学习工具。
Copyright © 2000-2023 Newdu.com All Rights Reserved
更新时间：2025/4/21 8:25:55