Remarks on the truth definition
ジャーナル
フリー
1961 年 13 巻 2 号 p. 207-209
詳細
- Published: 1961 Received: 1960/08/12 Available on J-STAGE: 2006/08/29 Accepted: - Advance online publication: - Revised: -
-
訂正情報
訂正日: 2006/08/29 訂正理由: - 訂正箇所: 引用文献情報 訂正内容: 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.
訂正日: 2006/08/29 訂正理由: - 訂正箇所: PDFファイル 訂正内容: -
PDFをダウンロード (184K)
メタデータをダウンロード
RIS形式
BIB TEX形式
テキスト
メタデータのダウンロード方法
発行機関連絡先
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
記事の1ページ目
