3 ms·A formal proof of the independence of the continuum hypothesis [pdf]2 points by colinprince 7y ago