0520132人目の素数さん垢版 | 大砲2016/09/14(水) 22:43:42.65ID:Wh2hxCOQ >>496 ああ、法律では 「前号の規定に関わらず、xxxの場合は〜〜とは認めない」 みたいなのあるよね。 「ただし、ラッセル集合は集合とは認めない」 みたいなのを一般化した公理を追加して矛盾を解消出来るとでも思ったんだろうか。 初めてみるタイプだな。