In set theory, a **superstrong cardinal** is a type of large cardinal. Large cardinals are certain kinds of infinite cardinals that have properties which imply the existence of large structures in set theory, and they are often discussed in the context of the foundations of mathematics.
New to topics? Read the docs here!