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

单词	ゲンツェン[Gerhard Gentzen]
释义	ゲンツェン[Gerhard Gentzen] (1909—1945)ドイツの数学者·論理学者。自然数論の無矛盾性を証明。また，全称記号""の使用を创始。盖茨(1909—1945)。德国数学家、逻辑学家，证明自然数论的无矛盾性，并且首创使用任意符号“”。
随便看	そんそせっしょうそんそせっしょう【樽俎折衝】そんぞうそんぞう【尊像】そんぞくそんぞく【存続】そんぞく【尊属】そんぞくさつじんそんぞくさつじん【尊属殺人】そんぞくしんそんぞくしん【尊属親】そんたいそんたい【尊体】そんたくそんたく【尊宅】そんたく【忖度】そんだいそんだい【尊台】そんだい【尊大】そんだいごそんだいご【尊大語】そんちそんち【存置】そんちょうそんちょう【尊重】