13/08/19 22:40:12.34
こっちはスルーするんですかね
>>245
> >>240
> ＞∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
>
> 0点
> ZF集合論では集合とみなされないので定理にならない
>>310
> ∀x(not x ∈ x) holds in ZF
13/08/19 22:40:12.34
こっちはスルーするんですかね
>>245
> >>240
> ＞∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
>
> 0点
> ZF集合論では集合とみなされないので定理にならない
>>310
> ∀x(not x ∈ x) holds in ZF