>>348
> 分出公理からラッセル集合が作れる

ラッセル集合って真のクラスであって集合の元にはならないから、
分出公理からラッセル集合は作れないと思うのだが