てすと

http://toro.2ch.net/test/read.cgi/kitchen/1379704380/24-25

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

898 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/27(土) ??:??:?? ID:L2lfGAMu [3/6回]
>>895
は？
反論不能で逃げたらコピペするよ
反論するまで永遠にな

899 ： ご冗談でしょう？名無しさん[] 投稿日：2013/07/27(土) ??:??:?? ID:L2lfGAMu [4/6回]
>>887
>>879
はぁ？？？
ベキ集合がZFの定義に含まれており型理論が使われてることすら知らずにこんな事書いてる時点で高卒ニートそのものＷＷＷＷＷＷＷ

>>633
＞ZFなどの普通の集合論に型はない
＞型を付けたら順序数の理論とか作り直しだな


高卒そのものＷＷＷＷＷＷＷＷ
こいつベキ集合マジで知らねーのかＷＷＷＷＷＷＷＷＷＷ
ベキ集合はZFの定義そのものに含まれる