- #1

- 1,030

- 4

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

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter Dragonfall
- Start date

- #1

- 1,030

- 4

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

- #2

- 355

- 3

? What about the class of all sets? Every set is a subclass of that, so certainly every totally ordered set is a subclass of it... Also, if you want something stricter; since the class of all sets is a class, you can consider the class of all totally ordered sets. Is your question whether or not that is a proper class? I'd think that it would be, but the way you asked your question, it sounds like the class of all sets should satisfy your requirement.

Maybe I'm misunderstanding something here?

Maybe I'm misunderstanding something here?

Last edited:

- #3

- 1,030

- 4

No, you're right.

Share:

- Replies
- 18

- Views
- 660