0379132人目の素数さん垢版 | 大砲2020/05/08(金) 00:25:39.78ID:YwOdwjHq >>371 抜けてるのがWell-ordering theoremの場合、 宇宙の選択とかで使われてる集合の区別がつくというのが勘違いの可能性はあるよ