>>405
当然ZFCから一部の公理を除いて、
> ●を元とするする集合
の存在を公理として追加したものを考えたって構わない

FZCとは関係ないところで存分に、どのような命題が導かれるか考えればいい