# Is this true, if so is it obvious?

## Main Question or Discussion Point

There is no proper class such X such that every totally ordered set is isomorphic to a subclass of X.

I'm using "proper class" and "isomorphic" rather liberally here, but you can assume them to be formulas in ZFC, or something.