- 786 名前：現代数学の系譜 雑談 [2024/12/20(金) 14:32:15.55 ID:PNnfE6fl.net]
- >>742
>実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。
>>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え
補足しておこう
１）ZFC内の集合は、
全て空集合Φ={}から、組み立てられている
２）ある集合A={a}があったとする
{a}から、{}をとると aになる。aもまた、空集合Φ={}から、組み立てられている
”{}をとる”という操作を繰り返すと、最後は空集合Φ={}に行き着く
３）”{}をとる”という操作は、”∈-”の関係に翻訳できる
”∈-”の関係を辿ると、最後は空集合Φ={}に行き着くってこと
