The assertion that there is no Suslin line, equivalently that every complete dense linear order without endpoints satisfying the interval countable chain condition is separable. A Suslin tree gives a counterexample.
New to topics? Read the docs here!