25/06/21 11:29:50.45 vzkn7e2Y.net
>>666
>>後者関数を定義するには対の公理と和集合の公理が必要。
>おっさん、なんも分ってないね （＾＾
それが君。
xに対し{x}が存在することを保証するのが対の公理。
x,{x}に対しx∪{x}が存在することを保証するのが和集合の公理。
よってS(x):=x∪{x}がwell-definedであるためには対の公理と和集合の公理が必要。
君、初歩の初歩からぜんぜん分かってないじゃん。だから黙って勉強しなって言ってるのに人の言うこと聞けないね。だから落ちこぼれるんだよ。