25/09/01 08:30:00.25 sYNWEl0F.net
>>614
>３）>>568-569 では ”部分集合として 分出公理で取り出す”をせずに 集合積∩を使っている
> この問題点は、集合積∩が その積の各要素に敏感だってことだ
> つまり、その積の要素 全てを確定しないと 集合積∩Aλ が確定しない
> なので、集合積∩を使うのは 賢くないってことだね
はい、まったくの言いがかりです。
W={x∈I|∀J(Φ(J)→x∈J)}
は任意の集合JについてJが帰納的集合ならばxはJの元であると言っている。
つまり、あなたの言い方で言えば、集合すべて、帰納的集合すべてが確定しないとWは確定しない。
あなたが∩を忌避するのはあなたが∩恐怖症だからというあなたの個人的事情ですよね？ 世の中はあなた中心に回ってはいません。