21/08/22 07:32:57.61 QZFJZsWw.net
>>250
Q1: 分出公理は恐らく空集合の場合でも集合自体は存在するという考えですか?
A1: ええ、空集合は集合です 空集合の公理、御存知ですか?
Q2: 分出公理によって存在が保証された集合は、空集合でない事も保証されますか?
A2: 分出公理だけではそれは保証できませんし、保証する必要もありません 空集合も集合ですから
Q3: しかしBが空集合の場合、Bの全要素は写像f(x)に含まれると言えませんか?
A3: 「f(x)に含まれる」とは「f(x)の要素である」という意味で用いていると思われるので、その上で答えるなら、もちろん言えます
ただ、あなたはBの定義を誤解されていると思われます
あなたが理解したBの定義を、あなたのことばで書き切ってくだされば
即座に誤りを指摘してみせますが、如何ですか?