Published: 1958 Received: May 30, 1957Available on J-STAGE: August 29, 2006Accepted: -
Advance online publication: -
Revised: -
Correction information
Date of correction: August 29, 2006Reason for correction: -Correction: CITATIONDetails: Wrong : 1) K. Gödel, The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axiom of set theory, Princeton, (1940). 2) G. Takeuti, On the theory of ordinal numbers, J. Math. Soc. Japan, 9 (1957), pp. 93-113. 3) G. Takeuti, A metamathematical theorem on functions, J. Math. Soc. Japan, 8 (1956), pp. 65-78. 4) G. Takeuti, On a 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. 5) G. Takeuti, On Skolem's theorem, J. Math. Soc. Japan, 9 (1957), pp. 71-76. 6) G. Gentzen, Untersuchungen über das logische Schliessen I, II, Math. Z., 39 (1935), pp. 176-210, 405-431.
Right : [1] K. Gödel, The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axiom of set theory, Princeton, (1940). [2] G. Takeuti, On the theory of ordinal numbers, J. Math. Soc. Japan, 9 (1957), pp. 93-113. [3] G. Takeuti, A metamathematical theorem on functions, J. Math. Soc. Japan, 8 (1956), pp. 65-78. [4] G. Takeuti, On a 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. [5] G. Takeuti, On Skolem's theorem, J. Math. Soc. Japan, 9 (1957), pp. 71-76. [6] G. Gentzen, Untersuchungen über das logische Schliessen I, II, Math. Z., 39 (1935), pp. 176-210, 405-431.
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -