The Consistency and the Impredicative Statement

スポンサーリンク

概要

• 論文の詳細を見る
• 科学基礎論学会の論文
• 1963-03-20

著者

• NISHIMURA TOSHIO

  Hosei University

関連論文

• Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension
• The Consistency and the Impredicative Statement

スポンサーリンク