0360132人目の素数さん垢版 | 大砲2014/05/24(土) 21:05:36.57 >>348 > 分出公理からラッセル集合が作れる ラッセル集合って真のクラスであって集合の元にはならないから、 分出公理からラッセル集合は作れないと思うのだが