19/02/18 19:32:10.52 8FzfIWqs.net
>>810
Hilbert 方式の定式化と Gentzen 方式の定式化の同値性が、
>>808 で紹介された、河合文化研究所の 倉田令二朗「数学基礎論入門」
に証明付きで載っていますよ。
19/02/18 19:32:10.52 8FzfIWqs.net
>>810
Hilbert 方式の定式化と Gentzen 方式の定式化の同値性が、
>>808 で紹介された、河合文化研究所の 倉田令二朗「数学基礎論入門」
に証明付きで載っていますよ。