[過去ﾛｸﾞ]
剽窃常習犯11jigen告発スレ 5 (626ﾚｽ)
剽窃常習犯11jigen告発スレ 5 http://wc2014.5ch.net/test/read.cgi/life/1406523992/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
472: 名無しゲノムのクローンさん [sage] 2014/08/04(月) 06:23:01.12 >>471 899 ：ご冗談でしょう？名無しさん ：2013/07/27(土) 22:26:52.17 ID:L2lfGAMu >>887 >>879 はぁ？？？ ベキ集合がZFの定義に含まれており型理論が使われてることすら知らずにこんな事書いてる時点で高卒ニートそのものＷＷＷＷＷＷＷ >>633 ＞ZFなどの普通の集合論に型はない ＞型を付けたら順序数の理論とか作り直しだな 高卒そのものＷＷＷＷＷＷＷＷ こいつベキ集合マジで知らねーのかＷＷＷＷＷＷＷＷＷＷ ベキ集合はZFの定義そのものに含まれる 928 ：ご冗談でしょう？名無しさん ：2013/07/28(日) 23:53:46.31 ID:Oc5066ll >>926 だから単語検索なんかしてるゴミには永遠に理解出来ないだろ？ ブルバキ見りゃ書いてある 938 ：ご冗談でしょう？名無しさん ：2013/07/29(月) 11:09:02.23 ID:2oFInE/U ZFCだろうがなんだろうが 集合族と集合の区別は現代の全ての公理的集合論で採用されて居る それが型理論と等価だからな http://wc2014.5ch.net/test/read.cgi/life/1406523992/472
533: 名無しゲノムのクローンさん [sage] 2014/08/04(月) 21:08:43.66 >>472 しゅうごうろんのちしき 74 ：ご冗談でしょう？名無しさん ：2013/08/02(金) 07:24:40.39 ID:vWsFFnOb >>72 ＞ZF集合論は型理論とは別の体系だし まーだそんな事言ってんのか？ 低学歴キチガイＷＷＷＷＷＷＷＷ 全ての公理的集合論は型理論を内包している なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ 無限公理がどうかしたか？ん？ 全く理解してない証拠を晒してどうする？ん？ 76 ：ご冗談でしょう？名無しさん ：2013/08/02(金) 07:27:03.50 ID:vWsFFnOb >>72 ＞ZFの無限公理でやってるようなx∪{x}も認められない あーあ お前中央線ダイブ確定だなWWWWWWWWWW 96 ：ご冗談でしょう？名無しさん ：2013/08/03(土) 14:54:34.69 ID:B0LODvQC >>95 は？ 完璧に内包されてんじゃん？ お前が持ってきた引用は 集合族と型理論が等価であるという証拠 ラッセル古いとか言ってる低学歴は自殺もんだなＷＷＷＷＷＷ http://wc2014.5ch.net/test/read.cgi/life/1406523992/533
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.210s*