テスト

>>16
http://www.logsoku.com/r/sci/1371178648/750
750 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/06(土) 02:04:30.27 ID:kv/nnxmU [4/9回]
>>746
＞定義域は集合全体、値域は濃度全体

それはお前の妄想
根拠なし
特に「濃度全体」とか全く意味不明

＞どちらもそもそも集合ではないからσ集合体でも[0,∞]の部分集合にもならない

知能指数低い白痴発見ＷＷＷＷＷＷ


集合族は集合と全く同じように扱える
たんに階型が違うだけの話
知能指数低すぎるだろＷＷＷＷＷＷＷ

>>35
http://www.logsoku.com/r/sci/1373148018/
498 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/15(月) ??:??:?? ID:NpmwNDr3 [15/18回]
ベキ集合は集合族だから包含関係とか成立しないことすら知らねーのか
ブンケーが独学で何やっても無駄無駄
1000年やっても無駄

663 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/18(木) ??:??:?? ID:vAPLZsnl [2/5回]
>>483
＞「2^λ∈Cであるから2^λ⊂D」はC、Dの定義から


集合族の基数なんつーもんは定義不可能

ブンケー高卒頭弱すぎＷＷＷＷＷＷＷＷ

667 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/18(木) ??:??:?? ID:vAPLZsnl [4/5回]
>>665
いやもうお前失格だよ
バカが「かねかね」書いても賢くはなれませーんＷＷＷＷＷＷ

集合族がZFの定義に含まれてる事知らなかった時点でゴミ

870 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/24(水) ??:??:?? ID:sC8/lhNg [2/2回]
>>868
何言ってんの？
ベキ集合と集合族そのものが型理論なんだが？
高卒は集合族すら知らねーのかＷＷＷＷＷＷＷＷＷＷ

873 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/25(木) ??:??:?? ID:ia9/Njrw [1/3回]
>>872
＞冪集合は集合だと言っている
＞つまり他の集合と同等の扱い
＞型なんて単語は出てこない
＞岩波数学辞典には書いてるかね？

集合と集合族は同等の性質を持つが型が違うから同じように扱えない場合がある
「型なんて単語」とか言ってる時点でアウトＷＷＷＷＷＷＷ
型が違うものの和集合は当然作れるが
型が同じものの和集合とは結論出来る事が異なる

本当に頭弱いんだなＷＷＷＷＷＷＷ

875 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/25(木) ??:??:?? ID:ia9/Njrw [3/3回]
どういう時に集合族と集合を混和出来るのか？
それを記述しているのが選択公理だ
本質を理解してないバカが字面眺めても
100万年の時間があっても無意味

892 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/27(土) ??:??:?? ID:L2lfGAMu [1/6回]
どういう時に集合族と集合を混和出来るのか？
それを記述しているのが選択公理だ
本質を理解してないバカが字面眺めても
100万年の時間があっても無意味

924 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/28(日) ??:??:?? ID:50TD3HI7 [1/1回]
>>923
集合族が型理論そのものと知らなかったお前が敗北

>>36
929 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/28(日) ??:??:?? ID:Oc5066ll [2/2回]
>>925
>>923
集合族が型理論そのものと知らなかったお前が敗北

938 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/29(月) ??:??:?? ID:2oFInE/U [3/7回]
ZFCだろうがなんだろうが
集合族と集合の区別は現代の全ての公理的集合論で採用されて居る
それが型理論と等価だからな

946 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/29(月) ??:??:?? ID:2oFInE/U [6/7回]
ZFCだろうがなんだろうが
集合族と集合の区別は現代の全ての公理的集合論で採用されて居る
それが型理論と等価だからな

>>37
http://uni.2ch.net/test/read.cgi/sci/1375192413/
74 ：ご冗談でしょう？名無しさん ：2013/08/02(金) 07:24:40.39 ID:vWsFFnOb
>>72
＞ZF集合論は型理論とは別の体系だし


まーだそんな事言ってんのか？
低学歴キチガイＷＷＷＷＷＷＷＷ

全ての公理的集合論は型理論を内包している
なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ
それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ

無限公理がどうかしたか？ん？
全く理解してない証拠を晒してどうする？ん？

96 ：ご冗談でしょう？名無しさん ：2013/08/03(土) 14:54:34.69 ID:B0LODvQC
>>95
は？
完璧に内包されてんじゃん？
お前が持ってきた引用は
集合族と型理論が等価であるという証拠
ラッセル古いとか言ってる低学歴は自殺もんだなＷＷＷＷＷＷ