Published: 1957 Received: July 16, 1955Available on J-STAGE: August 29, 2006Accepted: -
Advance online publication: -
Revised: -
Correction information
Date of correction: August 29, 2006Reason for correction: -Correction: CITATIONDetails: Wrong : 1) G. Gentzen: Untersuchungen über das logische Schließen I, II. Math. Zeitschr., 39 (1934), pp. 176-210, 405-431. 2) K. Gödel: The consistency of the axiom of choice and of the generalized continuum hypothesis with the axiom of set theory. Princeton, 1940. 3) G. Takeuti: Construction of the set theory from the theory of ordinal numbers. Journal of the Math. Society of Japan, 6 (1954) pp. 196-220. 4) G. Takeuti: On the generalized logic calculus. Jap. J. Math., 23 (1953), pp. 39-96; Errata to 'On a Generalized Logic Calculus', Jap. J. Math., 24 (1954), pp. 149-156.
Right : [1] G. Gentzen: Untersuchungen über das logische Schließen I, II. Math. Zeitschr., 39 (1934), pp. 176-210, 405-431. [2] K. Gödel: The consistency of the axiom of choice and of the generalized continuum hypothesis with the axiom of set theory. Princeton, 1940. [3] G. Takeuti: Construction of the set theory from the theory of ordinal numbers. Journal of the Math. Society of Japan, 6 (1954) pp. 196-220. [4] G. Takeuti: On the generalized logic calculus. Jap. J. Math., 23 (1953), pp. 39-96; Errata to 'On a Generalized Logic Calculus', Jap. J. Math., 24 (1954), pp. 149-156.
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -