>>496
ああ、法律では
「前号の規定に関わらず、xxxの場合は〜〜とは認めない」
みたいなのあるよね。

「ただし、ラッセル集合は集合とは認めない」
みたいなのを一般化した公理を追加して矛盾を解消出来るとでも思ったんだろうか。
初めてみるタイプだな。