0813132人目の素数さん垢版 | 大砲2018/05/24(木) 20:53:48.80ID:of0Asveb 可算無限集合の冪集合の濃度=連続体濃度がZFCのモデルによってアレフ1だったりアレフ2だったりするが、冪集合をとる操作がwell definedでないとか、一意ではないとは普通言わないな。