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

全く理解してない証拠を晒してるのは君ね

>>76
俺は死ねとは言わないよ
もっと醜態晒して見せてくれ