test
|
|
|
>>122
http://uni.2ch.net/test/read.cgi/sci/1375192413/524-528
524 ：ご冗談でしょう？名無しさん ：2013/08/22(木) NY:AN:NY.AN ID:Z4jSpnaP
>>494
もしかして中卒って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にはいかなるラッセル集合も存在しない
526 ：ご冗談でしょう？名無しさん ：2013/08/23(金) NY:AN:NY.AN ID:s35cL2SG
>>128
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
528 ：ご冗談でしょう？名無しさん ：2013/08/23(金) NY:AN:NY.AN ID:s35cL2SG
>>128
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
http://uni.2ch.net/test/read.cgi/sci/1375192413/524-528
524 ：ご冗談でしょう？名無しさん ：2013/08/22(木) NY:AN:NY.AN ID:Z4jSpnaP
>>494
もしかして中卒って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にはいかなるラッセル集合も存在しない
526 ：ご冗談でしょう？名無しさん ：2013/08/23(金) NY:AN:NY.AN ID:s35cL2SG
>>128
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
528 ：ご冗談でしょう？名無しさん ：2013/08/23(金) NY:AN:NY.AN ID:s35cL2SG
>>128
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる