なぜ悪質な永久機関ビジネスはなくならないのか？４
524 ：ご冗談でしょう？名無しさん：
>>494
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
|
|
|
525 ：ご冗談でしょう？名無しさん：2013/08/23(金) NY:AN:NY.AN ID:cO0Re8+x
>>494
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
もしかして中卒ってhold inを存在するか何かの意味だと妄想してんのか？ん？
hold inは現れないって意味だ
白痴
There is nor any Russell set in ZF.
ZFにはいかなるラッセル集合も存在しない
526 ：ご冗談でしょう？名無しさん：2013/08/23(金) NY:AN:NY.AN ID:s35cL2SG
>>128
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
527 ：ご冗談でしょう？名無しさん：2013/08/23(金) NY:AN:NY.AN ID:+rr6eh/J
自称()慶応理工学研究科博士課程のｹﾞﾛﾌﾞｽ指原ヲタが
http://ikura.2ch.net/test/read.cgi/joke/1375551098/
ゲロブス指原のヲタが精神異常者にしか見えない件
http://toro.2ch.net/test/read.cgi/mental/1374499817/
http://ikura.2ch.net/test/read.cgi/joke/1375551098/
ゲロブス指原のヲタが精神異常者にしか見えない件
http://toro.2ch.net/test/read.cgi/mental/1374499817/
528 ：ご冗談でしょう？名無しさん：2013/08/23(金) NY:AN:NY.AN ID:s35cL2SG