DictionaryAI

large cardinal

Short definition from Wiktionary

Noun

  1. A cardinal number whose existence cannot be proved from the usual Zermelo-Fraenkel axioms of set theory, and which therefore requires a new axiom stating its existence.

We haven’t written up large cardinal yet: Simple and Standard meanings, examples and a quiz.