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

このエントリーをはてなブックマークに追加
476ご冗談でしょう?名無しさん
>>474
「あたりでは」なんて言い方はあり得ない
学会で統一されてる
独自用法してるやつはリジェクト
477ご冗談でしょう?名無しさん:2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ
>>475
>>387
>>382
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
478ご冗談でしょう?名無しさん: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
479ご冗談でしょう?名無しさん:2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ
>>478
お前がスルーしてんだよ
nor
480ご冗談でしょう?名無しさん:2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ
norがついてる文からnorを削除して抜粋と称するか?
それは捏造だ