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

>>879
はぁ？？？
ベキ集合がZFの定義に含まれており型理論が使われてることすら知らずにこんな事書いてる時点で高卒ニートそのものＷＷＷＷＷＷＷ

>>633
＞ZFなどの普通の集合論に型はない
＞型を付けたら順序数の理論とか作り直しだな


高卒そのものＷＷＷＷＷＷＷＷ
こいつベキ集合マジで知らねーのかＷＷＷＷＷＷＷＷＷＷ
ベキ集合はZFの定義そのものに含まれる