19/09/14 00:12:55.76 QdZ5TU5n.net
>>124 追加
過去スレで、矢田部俊介先生の「公理論的集合論（情報科学特別講義 III）」も取り上げた記憶があるね～（＾＾
おもしろいね～ｗ
URLﾘﾝｸ(researchmap.jp)
矢田部俊介
URLﾘﾝｸ(researchmap.jp)
資料公開
タイトル 公理論的集合論
カテゴリ 講義資料
概要 お茶の水女子大学2012年度集中講義「情報科学特別講義III」（2013年2月18日?22日）授業要旨
URLﾘﾝｸ(researchmap.jp)
公理論的集合論（情報科学特別講義 III）
矢田部俊介 ?
2013 年 2 月 17 日
? 京都大学文学部大学院文学研究科
Ｐ21
4.4 推移的モデルとモストウスキ崩壊
集合論のモデルを扱う場合、一口にモデルと言ってもいろいろなモデルがある。多くの場合、モデルが ∈ に
関し推移的である（x ∈ y ∈ M ならば x ∈ M）であると証明が楽である。しかし、そうである保証はない。
例えば、集合が urelements を含んでいる場合を考えよう。u が urelemant であるとは、u 自身は集合では
ないが、他の集合は u を含むことができるもののことをいう。例えば、{u} は集合となる。この urelement は
いかなる集合も元として