X"为冯诺伊曼序数ω，这个序数也可想成是自然数的集合formula_32。
8.幂集公理.Axiom of power set令formula_33为formula_34。对任一个集合"x"，皆存在一个集合"y"，为"x"的幂集的父集。"x"　的幂集为一个其成员为所有"x"的子集的类。
9.良序定理.Well-ordering theorem对任一集合"X"，总存在一个可良好排序"X"的二元关系"R"。这意指着，"R"是"X"上的全序关系，且"X"