Ronald Jensen proved that CH does not imply the existence of a Suslin line.
Ronald Jensen證明了CH並不推出Suslin line的存在性。