>>773-774

ID:/sxrDCjm は集合族を集合ではないと思っていて、彼の独自理論では集合でないものは「定義域」から排除されるので、
ラッセル集合（これはもちろん集合族でもある）も排除されて矛盾を回避できている
したがって、この理論では「ただし、ラッセル集合は集合とは認めない」という公理を追加する必要はない

という解釈はどうだろうか