A formal proof of the independence of the continuum hypothesis [pdf] Continue reading @flypitch.github.io | 4 years ago