GCH $\iff 2^{\aleph_\alpha}=\aleph_{\alpha+1}$ for all $\alpha$ · Prove2Me

P

Initializing...

GCH $\iff 2^{\aleph_\alpha}=\aleph_{\alpha+1}$ for all $\alpha$ · Prove2Me