21/10/23 23:56:19.18 VEyje5yT.net
>>493
つづき
URLﾘﾝｸ(ja.wikipedia.org)
公理的集合論
分出公理
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである（1922年）。分出公理はZFの公理から示すことができる。
分出公理 任意の集合 X と A を自由変数として使用しない論理式 ψ(x) に対して、X の要素 x で ψ(x) をみたすような x 全体の集合が存在する：
∀ X∃ A∀ x(x∈ A←→ (x∈ X∧ψ (x)))
この公理は、