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
    Alternative foundational systems such as von Neumann–Bern... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→In ZF and ZFC, the totality of transfinite cardinal numbers does not qualify as a set having a definite cardinal number of members.

    Alternative foundational systems such as von Neumann–Bernays–Gödel (NBG) set theory formally accommodate proper classes, including the class of all cardinals, as legitimate mathematical objects with determinate extensions.

    ?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.NBG formally distinguishes sets from proper classes, allowing consistent treatment of collections like all cardinals that cannot be sets without contradiction.
      ?

      Think about whether this reason is strong or weak

    • 2.Proper classes in NBG have well-defined membership conditions and satisfy the axioms governing their behavior, making them mathematically rigorous objects.
      ?

      Think about whether this reason is strong or weak

    • 3.NBG's framework enables elegant expression of mathematical truths (e.g., about cardinal arithmetic) that ZFC can only awkwardly formalize or must reformulate.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Proper classes lack determinate extensions since we cannot quantify over them or collect them into well-defined wholes, challenging claims of their objective existence.
      ?

      Think about whether this reason is strong or weak

    • 2.The formal accommodation of proper classes solves no mathematical problems ZFC cannot solve through alternative methods, making it ontologically extravagant without epistemic gain.
      ?

      Think about whether this reason is strong or weak

    • 3.NBG's consistency relative to ZFC suggests proper classes are merely convenient notational devices, not genuinely existing mathematical objects with intrinsic reality.
      ?

      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.

    Key Terms

    Class(as used in set theory)
    A mathematical term for a collection or grouping of objects that share something in common.
    Determinate extensions(as used in logic and mathematics)
    Having clear, definite boundaries that specify exactly which objects belong to the collection and which don't.
    Foundational systems(as used in mathematics and logic)
    Basic mathematical frameworks that establish the rules and building blocks for all other math to rest on—think of them as the ground floor that everything else is built on top of.
    Legitimate mathematical objects(as used in mathematics and philosophy of mathematics)
    Things that are officially recognized and accepted as real entities within a mathematical system that can be studied and reasoned about.
    Proper classes(as used in set theory)
    In set theory, collections of things that are too large or too weird to be treated as ordinary 'sets' (think of them as super-big collections).
    Set theory(as used in mathematics)
    A branch of mathematics that studies collections of objects (called 'sets') and the rules for how they relate to each other.
    von Neumann–Bernays–Gödel (NBG) set theory(as used in mathematics)
    A formal mathematical system created by three mathematicians (John von Neumann, Paul Bernays, and Kurt Gödel) that describes how collections of objects can be organized and related to each other.

    Connections

    1 topic

    Divine Attributes1 linked

    Related

    In ZF and ZFC, the totality of transfinite cardinal numbers does not qualify as ...NBG formally distinguishes sets from proper classes, allowing consistent treatme...NBG's consistency relative to ZFC suggests proper classes are merely convenient ...NBG's framework enables elegant expression of mathematical truths (e.g., about c...

    Details

    Type
    claim
    Perspectives
    2 (1 for, 1 against)
    Edits
    1 edit
    +3 moreShow less
    Proper classes in NBG have well-defined membership conditions and satisfy the ax...Proper classes lack determinate extensions since we cannot quantify over them or...The formal accommodation of proper classes solves no mathematical problems ZFC c...