なぜ悪質な永久機関ビジネスはなくならないのか？４

[0478 ご冗談でしょう？名無しさん 2013/08/19(月) NY:AN:NY.AN ID:???]

こっちはスルーするんですかね

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

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