なぜ悪質な永久機関ビジネスはなくならないのか?4

このエントリーをはてなブックマークに追加
538ご冗談でしょう?名無しさん
>>536
このページのは訳は「〜における」だな


あれ?
白痴って文脈読む知能指数足りてない?
539ご冗談でしょう?名無しさん:2013/08/25(日) NY:AN:NY.AN ID:HunEzEaW
>>536
>お前ほんとに数学知らないのね
>regularとかどれだけの意味で使われてると思ってるんだ

やっぱり文脈読む能力0?
540ご冗談でしょう?名無しさん:2013/08/25(日) NY:AN:NY.AN ID:HunEzEaW
>>536
>>475
>>387
>>382
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
541ご冗談でしょう?名無しさん:2013/08/25(日) NY:AN:NY.AN ID:???
>>538
動詞じゃないのか
想像も付かなかった

The Use of Ultraproducts in Commutative Algebra, 第 1999 号 12ページ
http://books.google.co.jp/books?id=ohbdke-cBxwC&hl=ja&pg=PA12#v=onepage&q&f=false
We will give meaning to the expression a satisfies the formula φ(ξ) in A (sometimes abbreviated to
φ(a) holds in A, or is true in A) by induction on the number of quantifiers.
542ご冗談でしょう?名無しさん:2013/08/25(日) NY:AN:NY.AN ID:???
>>540
俺はZFやZF-FAでラッセル集合が作れるなんていってないはずだがな
俺の言うラッセル集合は{x|not x∈x}で、基礎の公理があるなら∀x(not x∈x)だから{x|not x∈x}は集合全体、too big
君はなにやら違うものをラッセル集合と呼んでるようで
543ご冗談でしょう?名無しさん:2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD
>>541
日本語で対応する動詞は存在しない
バカなのか?ん?
544ご冗談でしょう?名無しさん:2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD
>>542
>>536
>>475
>>387
>>382
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
自殺?
In axiomatic set theory (such as ZF), paradoxes are avoided by preventing the creation of sets that are too big.
545ご冗談でしょう?名無しさん:2013/08/25(日) NY:AN:NY.AN ID:BCIR/KeD
>>542
痴呆症か?ん?

>>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の意味すら知らない中卒かWWWWW