20/05/10 11:59:59 vZYbiwt9.net
置換公理が必要な場合
宇宙（数学）
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
「S0X を X 自身とする。
S1X を X と X の冪集合 PX の和集合とする。
S2X を S1X と S1X の冪集合 P(S1X) の和集合とする。
一般に、Sn+1X を SnX と SnX の冪集合P(SnX) の和集合とする。
X の上部構造 SX が S0X 、S1X 、S2X などの和集合とする。」
「最終ステップとして、無限和 (infinitary union) としてのSを形成するための置換公理が必要である。」