24/05/08 16:16:52.72 P8x5lHTe.net
>>918
全然違う
完全な間違い
分けてるのは公理的集合論ではない
「階で分けずに」はラッセルの論理学では階で分けてると主張してる
しかし実際には型で分けてるから知ったかぶり確定で自殺確定
階と型の違いすら分かってない知ったかぶり中卒無職wwww
571 １３２人目の素数さん[] 2024/05/08(水) 12:32:29.89 ID:BBjhKMzB
ちなみに公理的集合論では階で分けずに
｛ｘ｜￢ｘ∈ｘ｝をやめて、既にある集合Ａについて
｛ｘ∈Ａ｜￢ｘ∈ｘ｝とすることで回避している
（｛ｘ∈Ａ｜￢ｘ∈ｘ｝はＡの要素ではない）
ラッセルの型理論と対応づけることは可能かもしれんが発想は異なる