テスト

>>69
http://kohada.2ch.net/test/read.cgi/pcqa/1384742975/31-32

>>86
http://uni.2ch.net/test/read.cgi/sci/1375192413/101-117
101 ：ご冗談でしょう？名無しさん ：2013/08/03(土) 16:03:01.52 ID:4LDfFYVs
>>77
＞と矛盾するんだよな

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

103 ：ご冗談でしょう？名無しさん ：2013/08/03(土) 16:14:32.72 ID:4LDfFYVs
635 名前:ご冗談でしょう？名無しさん :2013/07/17(水) 18:22:51.44 ID:tH9rs92j
>>633
＞今どきラッセルの型理論なんて歴史的興味しかなくて


はいブンケー低学歴確定しました
ベキ集合知らないのは高卒

110 ：ご冗談でしょう？名無しさん ：2013/08/04(日) 18:43:24.49 ID:1ukx3AL4
>>108
は？
完全にお前論破されてるぞ？

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

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

111 ：ご冗談でしょう？名無しさん ：2013/08/04(日) 18:44:51.94 ID:1ukx3AL4
>>109
だからさぁ
査読論文持って来いよ
日本語の講義資料なんつーのは論外

112 ：ご冗談でしょう？名無しさん ：2013/08/04(日) 18:46:14.16 ID:1ukx3AL4
低学歴が「かね」とか書いても無意味だっつのＷＷＷＷ

113 ：ご冗談でしょう？名無しさん ：2013/08/04(日) 18:56:49.46 ID:1ukx3AL4
高卒は素朴集合論レベルから進歩してないＷＷＷＷＷ

116 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 01:25:48.79 ID:6de8B1/1
>>114
だからどうした？
完全にお前が論破されてる事への反証でも何でも無い駄文書いてどうするんだ？ん？

117 ：ご冗談でしょう？名無しさん ：2013/08/05(月) 01:26:13.67 ID:6de8B1/1
>>115
全くどうでもいい
何の主張にも反論にもなってない