>>707
Set(A)⇔_{def}∃B A∈B
ということだろ。BG流だとこういう定義するよね。
ただ、集合を無定義熟語にしちゃいけないのかな？
普通の数学者なんて、
「集合とはわれわれの直観または思考の対象であって確定した
よく区別しうるものたちmを一つの全体に纏めたものMのことであるとする」
くらいの認識しか持ってませんよ。

>>708
集合全体の"集まり"みたいなあまりにもたくさんの"もの"の集まりはなんと集合になりません！
だからこういう"集まり" のことは別の言葉を使ってclass（類）とかいいます。