Gendai shisō, 第 35 巻、第 1〜4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 66
39 ページ
... できる。たとえば、次のようにである―――無矛盾性証明に用いられる公理は、無矛盾であると証明された公理と、少なくとも同じだけの(実際には、少しだけ大きな)証明力を、有限的組み合わせ論(あるいは、有限的自然数論)の範囲でもたなければならない ...
... できる。たとえば、次のようにである―――無矛盾性証明に用いられる公理は、無矛盾であると証明された公理と、少なくとも同じだけの(実際には、少しだけ大きな)証明力を、有限的組み合わせ論(あるいは、有限的自然数論)の範囲でもたなければならない ...
45 ページ
... できる)。( III )これまで展開され公理化された数学のほとんど全体が、非有限的な構文論として解釈できる。( N )そのある部分は、要件二十六を満たす形で有限の構文論として解釈することさえできる( 2―2 節参照)。( V )ある弱められた意味でその全体を ...
... できる)。( III )これまで展開され公理化された数学のほとんど全体が、非有限的な構文論として解釈できる。( N )そのある部分は、要件二十六を満たす形で有限の構文論として解釈することさえできる( 2―2 節参照)。( V )ある弱められた意味でその全体を ...
98 ページ
... できる。集合 A 、 B に対し、 A のすべての要素を B の要素(のいくつか)に一対一に対応づけることができるとき、 A の濃度は B の濃度より小さいか等しい(あるいは、 B の濃度は A の濃度より大きいか等しい)と言い、これを| A | ≤ | B |とあらわすこと ...
... できる。集合 A 、 B に対し、 A のすべての要素を B の要素(のいくつか)に一対一に対応づけることができるとき、 A の濃度は B の濃度より小さいか等しい(あるいは、 B の濃度は A の濃度より大きいか等しい)と言い、これを| A | ≤ | B |とあらわすこと ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子