展开 证明完全集不可数