なぜ悪質な永久機関ビジネスはなくならないのか?4at SCI
なぜ悪質な永久機関ビジネスはなくならないのか?4 - 暇つぶし2ch74:ご冗談でしょう?名無しさん
13/08/02 07:24:40.39 vWsFFnOb
>>72
>ZF集合論は型理論とは別の体系だし


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

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

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


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch