現代数学の系譜 工学物理雑談 古典ガロア理論も読む77at MATH
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 - 暇つぶし2ch180: Φ,{Φ},{Φ, {Φ, {Φ}}}  ● 変数記号は遺伝的集合を指し,量化子のスコープは遺伝的集合全体.  ● 自然数・実数・関数・位相空間など,数学諸概念が遺伝的集合を用いて表現  (コード)され,様々な数学が公理的集合論の枠組みの中で展開される.  ● 遺伝的集合を単に集合と呼ぶ. P17 整礎的関係 R を集合X 上の二項関係とする. 基礎公理により,すべての集合X に対して, ∈| X := {?x; y? ∈ X × X | x ∈ y} はX 上の整礎的な二項関係. (引用終り) 以上




次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch