19/09/13 07:14:05.39 QEVZazxA.net
⊂に関しては、任意の集合Ｘ,Ｙ,Ｚで
X⊂Ｙ Ｙ⊂Ｚ ならば Ｘ⊂Ｚ
がいえる
し・か・し
∈に関しては、任意の集合Ｘ,Ｙ,Ｚで
X∈Ｙ Ｙ∈Ｚ ならば Ｘ∈Ｚ
とはいえない
反例 {{{}}}
{}∈{{}} {{}}∈{{{}}} しかし ￢({}∈{{{}}})
ニワトリ集合論から矛盾が導かれたｗ
19/09/13 07:14:05.39 QEVZazxA.net
⊂に関しては、任意の集合Ｘ,Ｙ,Ｚで
X⊂Ｙ Ｙ⊂Ｚ ならば Ｘ⊂Ｚ
がいえる
し・か・し
∈に関しては、任意の集合Ｘ,Ｙ,Ｚで
X∈Ｙ Ｙ∈Ｚ ならば Ｘ∈Ｚ
とはいえない
反例 {{{}}}
{}∈{{}} {{}}∈{{{}}} しかし ￢({}∈{{{}}})
ニワトリ集合論から矛盾が導かれたｗ