>>247
＞ラッセルパラドックスを避けるために公理的集合では 集合の作り方を厳しく制限したのです
これはいいが

＞作り方の一つは・・・
この後は全然ウソ

ラッセルパラドックスは以下の内包公理から矛盾が導けることをしめした

ｘ∈｛ｘ｜Ｐ（ｘ）｝　⇔　Ｐ（ｘ）

Ｐ（ｘ）を¬（ｘ∈ｘ）とすると

ｙ∈｛ｘ｜¬（ｘ∈ｘ）｝　⇔　¬（ｙ∈ｙ）

ここで、ｙを｛ｘ｜¬（ｘ∈ｘ）｝とすると

｛ｘ｜¬（ｘ∈ｘ）｝∈｛ｘ｜¬（ｘ∈ｘ）｝　⇔　　¬（｛ｘ｜¬（ｘ∈ｘ）｝∈｛ｘ｜¬（ｘ∈ｘ）｝）

となるから矛盾

で、ツェルメロは、内包公理をやめて以下の分出公理を採用した（その他、べき集合公理だの和集合公理だのを採用したが、肝心なのはここ）

ｘ∈｛ｘ∈Ａ｜Ｐ（ｘ）｝　⇔　（ｘ∈Ａ　∧　Ｐ（ｘ））

Ｐ（ｘ）を¬（ｘ∈ｘ）とすると

ｙ∈｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝　⇔　ｙ∈Ａ　∧　¬（ｙ∈ｙ）

ここで、ｙを｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝とすると

｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝∈｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝　⇔　｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝∈Ａ∧¬｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝∈｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝

したがって　¬｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝∈｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝　かつ　¬｛ｘ∈Ａ｜¬（ｘ∈ｘ）｝∈Ａ　が結論される

◆yH25M02vWFhP　は
・素朴集合論のどの公理（答：内包公理）が矛盾を導くか、を理解してない
・ツェルメロの新集合論では、どう公理を変更して（答：内包公理を分出公理等に変える）矛盾を回避したか、を理解してない
から、間違ったウソしか言えない