[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
289(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:38 ID:3KrCaRK2(2/10) AAS
>>261 補足説明
(引用開始)
外部ﾘﾝｸ[pdf]:elecello.com
集合論ノート 0005 モストフスキ崩壊補題 (Mostowski Collapse Lemma) 近藤友祐 初稿: 2018/02/22 更新: 2019/09/16
(引用終り)
ここに出てくる”推移的”、”set-like”、”整礎的”、”外延的”、”クラス”の補足、下記ご参照
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
二項関係
(抜粋)
省21
290: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/18(水)07:38 ID:3KrCaRK2(3/10) AAS
>>289
つづき
外部ﾘﾝｸ:ja.wikipedia.org
クラス (集合論)
(抜粋)
公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできないので、クラスはメタ言語による同値な言明で置き換えることで扱うことになる。
例えば、AをZFを解釈する構造として、メタ言語での表現 {x｜ x=x} のAにおける解釈は、Aの議論領域に属する要素全ての集まり（つまり、Aにおける集合すべての集まり）である。
ゆえに、「全ての集合の成すクラス」を述語 x = xと（あるいはそれに同値な述語と）同一視することができる。
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。
省9
292(1): 2019/09/18(水)07:41 ID:wvXbGob9(4/19) AAS
>>289
〇〇の一つのモストフスキｗｗｗ
でも、根本的にわかってないからダメダメだね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s