[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 2chのread.cgiへ]
Update time : 06/19 01:28 / Filesize : 203 KB / Number-of Response : 616
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

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

74 名前：ご冗談でしょう？名無しさん [2013/08/02(金) NY:AN:NY.AN ID:vWsFFnOb]
>>72
＞ZF集合論は型理論とは別の体系だし


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

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

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




[ 続きを読む ] / [ 携帯版 ]
全部読む 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（ ´∀｀）＜203KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef