21/12/19 09:59:40.34 t6OtkG9n.net
>>465
つづき
これを禁止する？ ご冗談でしょ！ って話が、>>359の” 添え字付きカッコを使った
lim n→ω an ＝aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω を、
ツェルメロ可算シングルトン存在仮説ないし、ツェルメロ可算シングルトン存在予想とでもしましょう”
ってことです
ZFでは、集合演算(対集合、和集合、冪集合)を、有限回、あるいは超限回繰り返して良いんじゃね？
”ツェルメロの後者suc(a) := {a} を、0（空集合）に対して、超限回繰り返すのがダメ”？
それは、どんな理屈でそうなるの？
ってことですよね
(参考)
URLﾘﾝｸ(igaris.)<) Akito Tsuboi's Home Page
URLﾘﾝｸ(www.math.tsukuba.ac.jp)
数理論理学ＩＩ
P7
1.1.6 置換公理
各論理式 φ に対して，
∀y ∈ x∃!zφ(y, z) → ∃w(∀y ∈ x∃z ∈ wφ(y, z)).
ここで ∀y ∈ x(. . .) は ∀y(y ∈ x → . . .) の省略形である．また ∃!zψ(z) は
∃zψ(z) ∧ ∀z∀z′(ψ(z) ∧ ψ(z′) → z = z′)
の省略形，すなわち，ψ を満たす元が丁度一つあることを表している．
つづく