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