Published: 1961 Received: August 12, 1960Available 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, Neue Fassung des Widerspruchsfreiheitsbeweis für die reine Zahlentheorie, Leipzing, 1938. 2) S. Maehara, Another Proof of Takeuti's Theorem on Skolem's Paradox, J. Fac. Sci., Univ. Tokyo, 7(1958), 541-556. 3) G. Takeuti, On Skolem's theorem, J. Math. Soc. Japan, 9(1957), 71-76, Remark on my paper: On Skolem's theorem, J. Fac. Sci., Univ. Tokyo, 9(1957), 192-194. 4) A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philos., 1(1935), 26-405. 5) A. Tarski, A. Mostowski and R. M. Robinson, Undecidable Theories, Amsterdam, 1953.
Right : [1] G. Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweis für die reine Zahlentheorie, Leipzing, 1938. [2] S. Maehara, Another Proof of Takeuti's Theorem on Skolem's Paradox, J. Fac. Sci., Univ. Tokyo, 7 (1958), 541-556. [3] G. Takeuti, On Skolem's theorem, J. Math. Soc. Japan, 9 (1957), 71-76, Remark on my paper: On Skolem's theorem, J. Fac. Sci., Univ. Tokyo, 9 (1957), 192-194. [4] A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philos., 1 (1935), 26-405. [5] A. Tarski, A. Mostowski and R. M. Robinson, Undecidable Theories, Amsterdam, 1953.
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -