P
Initializing...
Kőnig: $\mathrm{cf}(2^{\aleph_0})>\aleph_0$ · Prove2Me