自然数論の新しい公理化試論

スポンサーリンク

概要

• 論文の詳細を見る
• 新潟大学の論文
• 2007-07-10

著者

• 高野 道夫

  新潟大学教育人間科学部

関連論文

• 自然数論の新しい公理化試論
• Kripkeモデルの基底としての$\mathbb{R}$ と $\mathbb{Q}$(数学基礎論)

スポンサーリンク