- #1

- 1,030

- 4

## 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.

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