348 :
ご冗談でしょう?名無しさん:
何日も考え抜いては数秒で潰されるアリンコ
349 :
ご冗談でしょう?名無しさん:2013/08/14(水) NY:AN:NY.AN ID:aVqeoTIH
やっぱり根本的に脳神経の作りと知能指数が違うんだろうな
351 :
ご冗談でしょう?名無しさん:2013/08/14(水) NY:AN:NY.AN ID:/WxrXbF0
おっぱい葡萄
めこすじ
353 :
ご冗談でしょう?名無しさん:2013/08/14(水) NY:AN:NY.AN ID:aVqeoTIH
スジの上にぶどうアリ
やっぱり根本的に脳神経の作りと知能指数が違うんだろうな
>>279 > ラッセル集合は{x|x∈x}
> {x| not x∈x}はその否定
> つまりラッセルのパラドックスが成り立たないことWWWWWW
>>310 > Russell set {x | not(x ∈ x)}
>>245 >
>>240 > >∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
>
> 0点
> ZF集合論では集合とみなされないので定理にならない
>>310 > ∀x(not x ∈ x) holds in ZF
355 :
ご冗談でしょう?名無しさん:2013/08/15(木) NY:AN:NY.AN ID:T1eN0Y5I
>>354 346 名前:ご冗談でしょう?名無しさん :2013/08/13(火) NY:AN:NY.AN ID:8zEYAJxE
>つまりZFで基礎の公理を使わずに証明できるって事ですよ
それ、ZFじゃないじゃん
公理的集合論ではない
356 :
ご冗談でしょう?名無しさん:2013/08/15(木) NY:AN:NY.AN ID:T1eN0Y5I
ダメだよー反論不能になって逃げるのは
絶対に永遠に許さないからな
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
英語できないからなの?