数理論理学（数学基礎論）　その14

18 ：１３２人目の素数さん：2019/05/07(火) 19:17:25.36 ID:+08/LJkT.net

xが集合で、
∃y(y∈A∧x∈y)
が成り立ってるなら
τy(y∈A∧x∈y)
も集合。だから
(x,τy(y∈A∧x∈y))
は集合。よって
｛(x,τy(y∈A∧x∈y))}
は集合。

Bxが何のことかわからないけど、
何か集合aがあって、Bをa上の写像と見做すことにする。
∀x∊a(Bx≠φ)
が成り立ってるなら、
F={(x,τy(y∈Bx))| x∊a}
はブルバキでは選択関数となる。
でもそれはτに強い規則を課していて
s=t⇒τy(y∈Bs)=τy(y∈Bt)
が満たされるから。
ブルバキでは選択公理は定理となる。
でもブルバキ読んでないしあまり詳しいことはよく知らない。