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

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

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 1K

- Last Post

- Replies
- 6

- Views
- 1K

- Last Post

- Replies
- 4

- Views
- 1K

- Last Post

- Replies
- 4

- Views
- 810

- Replies
- 5

- Views
- 1K

- Replies
- 1

- Views
- 2K

- Replies
- 18

- Views
- 465

- Last Post

- Replies
- 4

- Views
- 3K

- Last Post

- Replies
- 4

- Views
- 549