19/10/12 09:45:09 0oc9Ztsl.net
>>278-279
？
（>>272より）
ツェルメロ構成：
後者関数e；suc(a)e := {a} （aのシングルトン {a} ）
これで a∈ {a}
つまり、前者集合e ∈ 後者集合e
ですよ。逆転はない
19/10/12 09:45:09 0oc9Ztsl.net
>>278-279
？
（>>272より）
ツェルメロ構成：
後者関数e；suc(a)e := {a} （aのシングルトン {a} ）
これで a∈ {a}
つまり、前者集合e ∈ 後者集合e
ですよ。逆転はない