なぜ悪質な永久機関ビジネスはなくならないのか?4at SCIなぜ悪質な永久機関ビジネスはなくならないのか?4 - 暇つぶし2ch74:ご冗談でしょう?名無しさん 13/08/02 07:24:40.39 vWsFFnOb>>72 >ZF集合論は型理論とは別の体系だし まーだそんな事言ってんのか? 低学歴キチガイWWWWWWWW 全ての公理的集合論は型理論を内包している なぜならばそうしないとラッセルのパラドックスを回避不可能だからだ それを最も簡便に実現する手段が集合と集合族の区別と、その扱い方の規定だ 無限公理がどうかしたか?ん? 全く理解してない証拠を晒してどうする?ん? 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch