>>371
抜けてるのがWell-ordering theoremの場合、
宇宙の選択とかで使われてる集合の区別がつくというのが勘違いの可能性はあるよ