日语词汇“ゲンツェン[Gerhard Gentzen]”的翻译、意思、用法、释义-日汉互译翻译词典

单词	ゲンツェン[Gerhard Gentzen]
释义	ゲンツェン[Gerhard Gentzen] (1909—1945)ドイツの数学者·論理学者。自然数論の無矛盾性を証明。また，全称記号""の使用を创始。盖茨(1909—1945)。德国数学家、逻辑学家，证明自然数论的无矛盾性，并且首创使用任意符号“”。
随便看	かいたくかいたく【開拓】かいたくしかいたくし【開拓使】かいたくしゃかいたくしゃ【開拓者】かいたすかいたた·くかいたた·く【買い叩く】かいたたくかいたてかいたて【橈立て】かいたにやおこかいたにやおこ【貝谷八百子】かいだかいだ·すかいだ·す【掻い出す】かいだ·す【買い出す】かいだ【快打】かいだいかいだい【改題】かいだい【海内】かいだい【海台】かいだい【解題】かいだか