Skip to content
Carmelics
TopicsThinkersChangesContributorsLoading account…

    Carmelics

    A reasoning platform. Break down any belief into clear reasons, explore both sides, and weigh the evidence honestly.

    Navigate

    • Topics
    • Search
    • Recent Changes
    • Contribute
    • How It Works
    • Glossary
    • Thinkers
    • Contributors
    • About
    • Statistics
    • Terms
    • Privacy

    Database

    Statements
    —
    Perspectives
    —
    Topics
    —

    Press ? for keyboard shortcuts

    LoyalLoyalJusticeJustice
    Made withinDC&Austin
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Proper classes like the class of all cardinals resist set... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Every cardinal number can be represented by an ordinal number

    Proper classes like the class of all cardinals resist set-theoretic treatment, as Burali-Forti's paradox demonstrates for the totality of ordinals.

    ?Rate how convincing each reason is below to see the overall strength.
    1 reason for
    1 reason against

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Burali-Forti's paradox arises when treating the ordinal class as a set: it would be an ordinal larger than itself, which is contradictory.
      ?

      Think about whether this reason is strong or weak

    • 2.Cumulative hierarchy (V) only generates sets; proper classes exceed this by definition, so they cannot be elements of further structures.
      ?

      Think about whether this reason is strong or weak

    • 3.Allowing proper classes as sets collapses distinctions essential to avoiding paradox—size-based stratification becomes impossible.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.NBG set theory successfully formalizes proper classes as primitive objects with well-defined membership and equality relations.
      ?

      Think about whether this reason is strong or weak

    • 2.The Burali-Forti paradox reflects naive comprehension assumptions, not proof that ordinal totality is inherently intractable mathematically.
      ?

      Think about whether this reason is strong or weak

    • 3.Alternative frameworks (category theory, type theory) treat large collections non-paradoxically without restricting them to non-sets fundamentally.
      ?

      Think about whether this reason is strong or weak

    Sign in or register to share your perspective on this statement.

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.

    Connections

    1 linked claim · 1 topic

    Modality & Possibility1 linked
    Every cardinal number can be represented by an ordinal number

    Related

    Allowing proper classes as sets collapses distinctions essential to avoiding par...Alternative frameworks (category theory, type theory) treat large collections no...Burali-Forti's paradox arises when treating the ordinal class as a set: it would...Cumulative hierarchy (V) only generates sets; proper classes exceed this by defi...
    +3 moreShow less
    Every cardinal number can be represented by an ordinal numberNBG set theory successfully formalizes proper classes as primitive objects with ...The Burali-Forti paradox reflects naive comprehension assumptions, not proof tha...

    Details

    Type
    claim
    Perspectives
    2 (1 for, 1 against)
    Edits
    1 edit