>>415
冪集合が無限集合を要素として含まなくなったのはいつから?