large cardinal

noun1

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.