P
Initializing...
PFA implies 2^ℵ₀ = ℵ₂ · Prove2Me