Set という述語を与える。Set［A］と書いて、「Aは集合」と読ませる。１項の原始的述語。このとき、Aは個体。 Set に関して、公理を与える。[10] ∀A（Set［A］⇒∀B（（B⊂A）⇒Set［B］）） [11] ∀A（Set［A］⇒Set［Pow［A］］） [12] ∀A（Set［A］⇒Set［∪A］）…