Gendai shisō, 第 35 巻、第 1〜4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 16
24 ページ
... 公理は、その公理における「有限多様体」の概念を明確に含んではいないが、その ... 選択から完全に独立しているからである。事実、その理論は、整数理論と同値である ... 公理の方が、これまで十分徹底的に研究されてこなかったからである。しかし、この ...
... 公理は、その公理における「有限多様体」の概念を明確に含んではいないが、その ... 選択から完全に独立しているからである。事実、その理論は、整数理論と同値である ... 公理の方が、これまで十分徹底的に研究されてこなかったからである。しかし、この ...
109 ページ
... 選択公理の否定を満たすようなものを作っており、これによって選択公理の ZF 上の独立性も証明している(弱)。ここでは、構成的集合の理論や強制法の議論の細部や、これらの手法やその変形の様々な応用を含む、その後の集合論の発展について触れる余裕が ...
... 選択公理の否定を満たすようなものを作っており、これによって選択公理の ZF 上の独立性も証明している(弱)。ここでは、構成的集合の理論や強制法の議論の細部や、これらの手法やその変形の様々な応用を含む、その後の集合論の発展について触れる余裕が ...
170 ページ
... 公理や推論規則として採用されねばならないのか」に関して、さしあたりは何の説明や正当化もなされていないことを意味する。なので、例えば集合論の選択公理や「プリンキピア・マテマティカ」の還元公理のように、必ずしも自然とも思えず直観的とも映ら ...
... 公理や推論規則として採用されねばならないのか」に関して、さしあたりは何の説明や正当化もなされていないことを意味する。なので、例えば集合論の選択公理や「プリンキピア・マテマティカ」の還元公理のように、必ずしも自然とも思えず直観的とも映ら ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子