なぜ悪質な永久機関ビジネスはなくならないのか？４
545 ：ご冗談でしょう？名無しさん：
>>542
痴呆症か？ん？
>>128
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
痴呆症か？ん？
>>128
>>108
は？
完全にお前論破されてるぞ？
＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
＞> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする（型理論）
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
|
|
|
546 ：ご冗談でしょう？名無しさん：2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD
全ての公理的集合論は型理論を内包している
これを否定しようとして完全論破されたのがお前
これを否定しようとして完全論破されたのがお前
547 ：ご冗談でしょう？名無しさん：2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD
>>541
sometimesの意味すら知らない中卒かＷＷＷＷＷ
sometimesの意味すら知らない中卒かＷＷＷＷＷ