>>420
＞「ε0までの超限帰納法が成り立つ」 ⇔ 「PA は無矛盾」
左から右はよく言われることだが、
その逆を Genzen が証明したというのは初耳。
参考文献を教えて欲しい。