There is no proper class such X such that every totally ordered set is isomorphic to a subclass of X.(adsbygoogle = window.adsbygoogle || []).push({});

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

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Is this true, if so is it obvious?

Loading...

Similar Threads for true obvious | Date |
---|---|

Natural deduction: True iff not false | Sep 12, 2015 |

Is this statement true? | Mar 15, 2015 |

Which Godel statements are seen to be true by humans? | Mar 10, 2015 |

How would the world be different if only the WLLN were true? | Jul 28, 2013 |

**Physics Forums - The Fusion of Science and Community**