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

一般用語集


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


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


一般用語集 五十音順