- 180 名前： Φ，{Φ}，{Φ, {Φ, {Φ}}}
● 変数記号は遺伝的集合を指し，量化子のスコープは遺伝的集合全体．
● 自然数・実数・関数・位相空間など，数学諸概念が遺伝的集合を用いて表現
（コード）され，様々な数学が公理的集合論の枠組みの中で展開される．
● 遺伝的集合を単に集合と呼ぶ．
P17
整礎的関係
R を集合X 上の二項関係とする．
基礎公理により，すべての集合X に対して，
∈｜ X := {?x; y? ∈ X × X | x ∈ y}
はX 上の整礎的な二項関係．
(引用終り)
以上 [] - [ここ壊れてます]
