');

一般用語集

  2. 用語集
  3. 一般用語集
  4. け

一般用語集

け

ゲンツェン【Gerhard Gentzen】

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