25/06/22 08:23:38.44 Y+ibteSC.net
>>682
>・内包表記には、下記”分出公理図式（内包公理図式）”あるいは”置換公理図式”を使うようです
じゃあ ∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} の∩の対象が不明確とか文句付けたのはなんなの？ ただの言いがかり？ 君はチンピラかい？
25/06/22 08:23:38.44 Y+ibteSC.net
>>682
>・内包表記には、下記”分出公理図式（内包公理図式）”あるいは”置換公理図式”を使うようです
じゃあ ∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} の∩の対象が不明確とか文句付けたのはなんなの？ ただの言いがかり？ 君はチンピラかい？