In set theory, a strong cardinal is a type of large cardinal. Strong cardinals are defined as certain kinds of large cardinal numbers that exhibit very strong properties in terms of their combinatorial strength and their relationships with other sets.
New to topics? Read the docs here!