4 ms·
> but it is independent of ZF Yeah, if I recall that's why forcing was invented, to specifically prove that C and CH were independent of ZF. Yeah: [1] 1. http
by guerrilla 5y ago
> but it is independent of ZF
Yeah, if I recall that's why forcing was invented, to specifically prove that C and CH were independent of ZF. Yeah: [1]
1. https://en.wikipedia.org/wiki/Paul_Cohen#Continuum_hypothesis https://en.wikipedia.org/wiki/Paul_Cohen#Continuum_hypothesi...