訂正日: 2006/08/29訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) G. Gentzen: Untersuchungeng über das logische Schliessen, I, II, Math. Z. 39 (1935),. 176-210, 405-431. 2) G. Gentzen: Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. Ann. 112 (1936), 493-565. 3) G. Gentzen: Die gegenwartige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Leipzig, 1938. 4) G. Takeuti: On a generalized logic calculus. (Jap. J. Math, 23 (1953), 39-96); Erata to 'On a Generalized Logic Calculus' (Jap. J. Math. 24 (1954), 149-156)
Right : [1] G. Gentzen: Untersuchungen über das logische Schliessen, I, II, Math. Z. 39 (1935), 176-210, 405-431. [2] G. Gentzen: Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. Ann. 112 (1936), 493-565. [3] G. Gentzen: Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Leipzig, 1938. [4] G. Takeuti: On a generalized logic calculus. (Jap. J. Math. 23 (1953), 39-96); Erata to ‘On a Generalized Logic Calculus’ (Jap. J. Math. 24 (1954), 149-156)