Gendai shisō, 第 35 巻、第 1~4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 53
39 ページ
や公理の一部であったり、そこから導出できる必要はない。そのちのあるものを他のもので置き換える可能性は存在する( 8 )。し、もとの体系にとって本質的な概念や公理のあるものが、無矛盾性証明のために用いられる体系に含まれないならば、他の同様に ...
や公理の一部であったり、そこから導出できる必要はない。そのちのあるものを他のもので置き換える可能性は存在する( 8 )。し、もとの体系にとって本質的な概念や公理のあるものが、無矛盾性証明のために用いられる体系に含まれないならば、他の同様に ...
103 ページ
... 公理として採用する(図 4 )。現在我々が ZFC の公理と考えているものの中で、最後にこの公理系にとり入れられたのは、フォン・ノイマンによる基礎の公理と呼ばれるものである。この公理は技術的には「すべての空でない集合は xy = 0 となるような要素を ...
... 公理として採用する(図 4 )。現在我々が ZFC の公理と考えているものの中で、最後にこの公理系にとり入れられたのは、フォン・ノイマンによる基礎の公理と呼ばれるものである。この公理は技術的には「すべての空でない集合は xy = 0 となるような要素を ...
170 ページ
... 公理体系」と見なす考え方を採って初めて意味を持つ事柄だとされている。この形式公理主義的な論理観によれば、数ある論理式からある特定のものが「公理」として、また一定の記号変形規則が「推論規則」として体系の基礎に置かれる。だがこれらの公理や ...
... 公理体系」と見なす考え方を採って初めて意味を持つ事柄だとされている。この形式公理主義的な論理観によれば、数ある論理式からある特定のものが「公理」として、また一定の記号変形規則が「推論規則」として体系の基礎に置かれる。だがこれらの公理や ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子