集合算公理系の不完全性

スポンサーリンク

概要

• 論文の詳細を見る
• 三重大学の論文

著者

• 山岡 悦郎

  三重大学人文学部

関連論文

• Gobel集合論II
• Gobel集合論I
• 集合算公理系の不完全性
• Kripke真理論とその数学的構造
• I : 命題の記号化について(英文)
• Gobelの第2不完全性定理
• ゲーデルの不完全性定理

スポンサーリンク