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

>>72
＞ZF集合論は型理論とは別の体系だし


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

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

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