P
Initializing...
Kőnig: $2^{\aleph_0}\neq\aleph_\alpha$ when $\mathrm{cf}(\alpha)=\omega$ · Prove2Me