なぜ悪質な永久機関ビジネスはなくならないのか？４
118 ：ご冗談でしょう？名無しさん：
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
|
|
|
119 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
基礎の公理？
そんな未定義造語使ってる時点で高卒確定
そんな未定義造語使ってる時点で高卒確定
120 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
>>114
はよ査読論文持って来いよ中卒
はよ査読論文持って来いよ中卒
121 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
122 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:???
メコスジ伝
123 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:???
ニートきゅむ
124 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
>>123
高卒ニートのお前がか？ん？
高卒ニートのお前がか？ん？
125 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:???
126 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
127 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
128 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:???
>>119
http://www.google.co.jp/search?q=%E5%9F%BA%E7%A4%8E%E3%81%AE%E5%85%AC%E7%90%86
ご自慢の岩波数学辞典には載ってないかね？
http://i.imgur.com/qdKFgJp.jpg
http://i.imgur.com/yvdl2Wk.jpg
http://www.google.co.jp/search?q=%E5%9F%BA%E7%A4%8E%E3%81%AE%E5%85%AC%E7%90%86
ご自慢の岩波数学辞典には載ってないかね？
http://i.imgur.com/qdKFgJp.jpg
http://i.imgur.com/yvdl2Wk.jpg
129 ：ご冗談でしょう？名無しさん：2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1