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