19/09/14 22:34:20.92 QdZ5TU5n.net
>>163
つづき
URLﾘﾝｸ(www.sci.shizuoka.ac.jp) 数学基礎論サマースクール 選択公理と連続体仮説
URLﾘﾝｸ(www.sci.shizuoka.ac.jp)
公理的集合論の基礎 酒井 拓史 神戸大学 2019 年 数学基礎論サマースクール
(抜粋)
P3
公理的集合論の枠組み
公理的集合論は述語論理の枠組みのもとで展開される．
・集合論の言語L∈： 非論理記号は二項関係記号∈ のみ
・集合論の公理系： ZF やZFC など
・公理的集合論の考察対象：
遺伝的集合の集まりとそれら間の要素関係（∈-関係）
● 遺伝的集合： 要素もそのまた要素もすべて集合である集合
例：