やっぱり根本的に脳神経の作りと知能指数が違うんだろうな

>>279
> ラッセル集合は{x|x∈x}
> {x| not x∈x}はその否定
> つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ

>>310
> Russell set {x | not(x ∈ x)}


>>245
> >>240
> ＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反
>
> 0点
> ZF集合論では集合とみなされないので定理にならない

>>310
> ∀x(not x ∈ x) holds in ZF