- 442 名前:IUT応援団 団員 mailto:sage [2020/05/10(日) 11:59:59 ID:vZYbiwt9.net]
- 置換公理が必要な場合
宇宙(数学) https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%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を形成するための置換公理が必要である。」
|
|