>>150-152
ニワトリ 破滅への道 U

>> ニワトリの発言
> 他者の発言

1.現スレで、前スレ845の自爆発言を蒸し返されるw >>10-11
2.さらに、別の人に1)2)を再度否定されるww >>21
3.ニワトリ、2)については前スレ865で撤回したというも
  1)については言い張り続ける再自爆発言www >>30
>>うん、それね、おれ間違っているね(^^;
>>まず、上記2)は、正則性公理から反例 x not∈ x
>>(x ⊂ xであるにも関わらす)が出るから間違い
>>(それ以外にも、反例はあるな。後述)

>>では、上記1)は、どうだろうか?
>>公理的集合論
>>「x ∈ y の直観的な意味は,もちろん元x が集合y に属することであるが,
>> x も一つの集合だと考える.」
>> ”元x も一つの集合だと考える”とすると、x ∈ y → x ⊂ y だろうと
>> しかし、ZFC公理系から導けると思って、トライしたが、残念ながらできなかった(^^;
>>(そういう文典も探したが、見つけられなかった)
>> しかし、我々の通常接する素朴集合論に近い議論では、
>> ”x ∈ y → x ⊂ y ”を認めた方が良いという結論に至った

4.すかさずトンチンカン発言をつっこまれるw >>46
>>∈−順序が成立つ場合は、”x ∈ y → x ⊂ y ”成立
>「∈ がその上で整列順序になる集合」って順序数だろ
>いつどこで誰が「一般の集合が順序数になる」と証明したんだ?