19/09/14 11:29:17.40 QdZ5TU5n.net
>>138
つづき
(>>92-93)
URLﾘﾝｸ(lemniscus.hatenablo)<)
公理論的集合論（情報科学特別講義 III） 矢田部俊介 2013 年 2 月 17 日 京都大学文学部大学院文学研究科
Ｐ21
4.4 推移的モデルとモストウスキ崩壊
集合論のモデルを扱う場合、一口にモデルと言ってもいろいろなモデルがある。多くの場合、モデルが ∈ に
関し推移的である（x ∈ y ∈ M ならば x ∈ M）であると証明が楽である。
(引用終り)
以上