[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

354(5): 2013/08/15(木) NY:AN:NY.AN ID:??? AAS
やっぱり根本的に脳神経の作りと知能指数が違うんだろうな

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

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

>>245
> >>240
> ＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反
省5

---

355: 2013/08/15(木) NY:AN:NY.AN ID:T1eN0Y5I(1/2) AAS
>>354
346 名前:ご冗談でしょう？名無しさん :2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE
>つまりZFで基礎の公理を使わずに証明できるって事ですよ

それ、ZFじゃないじゃん
公理的集合論ではない

---

357: 2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN(1/5) AAS
>>354
なんで無意味に単語で切るの？

>>310
＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which

英語できないからなの？

---

481(1): 2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ(12/23) AAS
357 名前:ご冗談でしょう？名無しさん :2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN
>>354
なんで無意味に単語で切るの？

>>310
＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which

英語できないからなの？

---

484: 2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ(14/23) AAS
なんでこれにレスつけずに逃げつづけてんの？ん？

357 名前:ご冗談でしょう？名無しさん :2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN
>>354
なんで無意味に単語で切るの？

>>310
＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which

英語できないからなの？

---

498: 2013/08/19(月) NY:AN:NY.AN ID:ugZGoGhZ(23/23) AAS
なんでこれにレスつけずに逃げつづけてんの？ん？

357 名前:ご冗談でしょう？名無しさん :2013/08/15(木) NY:AN:NY.AN ID:FbF1TtLN
>>354
なんで無意味に単語で切るの？

>>310
＞> Thus in ZF there is no set of all sets, nor any Russell set {x | not(x ∈ x)} (which

英語できないからなの？

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 1.270s*