19/09/12 06:33:38.46 0bjYSisu.net
>>55
> (∈－順序は推移的なので）”x ∈ y → x ⊂ y ”成立
そりゃx,yが順序数なら、成り立つよ
しかし一般の集合は順序数じゃないだろｗ
順序数でない集合なんて
有限集合でもいくらでも作れる
たとえば{{{}}}とか
考えろよ ニワトリｗ
19/09/12 06:33:38.46 0bjYSisu.net
>>55
> (∈－順序は推移的なので）”x ∈ y → x ⊂ y ”成立
そりゃx,yが順序数なら、成り立つよ
しかし一般の集合は順序数じゃないだろｗ
順序数でない集合なんて
有限集合でもいくらでも作れる
たとえば{{{}}}とか
考えろよ ニワトリｗ