これより先は外部サイトへ移動します。 OKWAVEが運営するページではありませんのでご確認ください。 http://www-groups.dcs.st-andrews.ac.uk/~history/Mathematicians/Gentzen.html 閉じる