19/10/05 11:02:24.71 kZwmbLNI.net
>>11
ごもっともです。
今後ωは、無限公理で存在が認められる集合
{{},{{}},{{},{{}}},…}
を表すこととしましょう。
{{…{}…}}（{}が無限重）
については、1が主張していることなので
1が(ω以外の)名前をつけてください。
19/10/05 11:02:24.71 kZwmbLNI.net
>>11
ごもっともです。
今後ωは、無限公理で存在が認められる集合
{{},{{}},{{},{{}}},…}
を表すこととしましょう。
{{…{}…}}（{}が無限重）
については、1が主張していることなので
1が(ω以外の)名前をつけてください。