用語集＞一般用語集＞け＞ゲンツェン【Gerhard Gentzen】

一般用語集

ゲンツェン【Gerhard Gentzen】　一般用語集　け

項目	ゲンツェン【Gerhard Gentzen】
意味	（1909-1945）ドイツの数学者・論理学者。自然数論の無矛盾性を証明。また，全称記号“∀”の使用を創始。