テスト

http://toro.2ch.net/test/read.cgi/kitchen/1371123748/86-87

>>18
http://uni.2ch.net/test/read.cgi/sci/1375192413/130-142
130 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 14:12:49.14 ID:6de8B1/1
>>128
>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

136 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 22:36:50.51 ID:h3/RhEky
>>131
>>77
＞と矛盾するんだよな

0点
十分性が示されてない


逃げたのか？ん？

137 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 22:37:27.46 ID:h3/RhEky
>>133
そもそも十分性が示されてない
十分性って意味わかるか？ん？

138 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 22:37:51.19 ID:h3/RhEky
>>132
十分性を示せて無い時点でお前の負け
すでに負けてるんだよ

139 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 22:38:21.39 ID:h3/RhEky
>>131
はよ査読論文もってこいゴミ

140 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 22:38:37.30 ID:h3/RhEky
>>128
>>108
は？
完全にお前論破されてるぞ？

＞> 　(a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> 　 めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> 　(b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）

これは数学的に同値
だからすべての公理的集合論は型理論を内包してる

142 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 22:41:23.97 ID:h3/RhEky
>>141
悔しかった？
十分性を示せて無い時点でお前の負け