訂正日: 2006/08/29訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) G. Gentzen: Untersuchungen über das logische Schließen I, II. Math. Zeitschr. 39 (1934). 2) G. Takeuti: On a generalized logic calculus Jap. J. Math, 23 (1953) Errata to 'On a generalized logic calculus' Jap. J. Math. 24 (1954) 3) G. Takeuti: On the fundamental conjecture of GLC I. J. Math. Soc. Japan 7 (1955) 4) G. Takeuti: A metamathematical theorem on the theory of ordinal numbers. J. Math. Soc. Japan. 4 (1952)
Right : [1] G. Gentzen: Untersuchungen über das logische Schließen I, II. Math. Zeitschr. 39 (1934). [2] G. Takeuti: On a generalized logic calculus Jap. J. Math, 23 (1953) Errata to ‘On a generalized logic calculus’ Jap. J. Math. 24 (1954) [3] G. Takeuti: On the fundamental conjecture of GLC I. J. Math. Soc. Japan 7 (1955) [4] G. Takeuti: A metamathematical theorem on the theory of ordinal numbers. J. Math. Soc. Japan. 4 (1952)