[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
110(1): 2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4(1/4) AAS
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
111(2): 2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4(2/4) AAS
>>109
だからさぁ
査読論文持って来いよ
日本語の講義資料なんつーのは論外
112: 2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4(3/4) AAS
低学歴が「かね」とか書いても無意味だっつのＷＷＷＷ
113: 2013/08/04(日) NY:AN:NY.AN ID:1ukx3AL4(4/4) AAS
高卒は素朴集合論レベルから進歩してないＷＷＷＷＷ
114(2): 2013/08/04(日) NY:AN:NY.AN ID:??? AAS
>>110
「x∈x」は型理論では文法違反で論理式ではない
ZF集合論では論理式として認められて基礎の公理に矛盾する
ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分
>>111
たまには君が論文持って来てはどうかね？
岩波数学辞典も引けない底辺未満には無理かね？
115(1): 2013/08/04(日) NY:AN:NY.AN ID:??? AAS
> ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分
後半部分は言い過ぎた
最後のセクションにちょっとだけだったな
116: 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(1/13) AAS
>>114
だからどうした？
完全にお前が論破されてる事への反証でも何でも無い駄文書いてどうするんだ？ん？
117: 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(2/13) AAS
>>115
全くどうでもいい
何の主張にも反論にもなってない
118: 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(3/13) AAS
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
119(2): 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(4/13) AAS
基礎の公理？
そんな未定義造語使ってる時点で高卒確定
120: 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(5/13) AAS
>>114
はよ査読論文持って来いよ中卒
121(1): 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(6/13) AAS
>>77
＞と矛盾するんだよな
0点
十分性が示されてない
逃げたのか？ん？
122: 2013/08/05(月) NY:AN:NY.AN ID:??? AAS
メコスジ伝
123(1): 2013/08/05(月) NY:AN:NY.AN ID:??? AAS
ニートきゅむ
124: 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(7/13) AAS
>>123
高卒ニートのお前がか？ん？
125(1): 2013/08/05(月) NY:AN:NY.AN ID:??? AAS
ID:DBZ0KgBH0
外部ﾘﾝｸ[html]:hissi.org
どんだけ友達いないのこいつ
126: 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(8/13) AAS
>>125
論破されて悔しかったのか？ん？
高卒ニートＷＷＷＷＷ
127: 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(9/13) AAS
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
128(7): 2013/08/05(月) NY:AN:NY.AN ID:??? AAS
>>119
外部ﾘﾝｸ:www.google.co.jp
ご自慢の岩波数学辞典には載ってないかね？
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
129(2): 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(10/13) AAS
>>128
正則性公理なら載ってるな
基礎の公理なんて言ってるのは中卒
上下前次1-新書関写板覧索設栞歴
あと 634 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s