A **measurable cardinal** is a type of large cardinal in set theory, which is a branch of mathematical logic. Large cardinals are certain types of infinite cardinal numbers that have strong properties, and measurable cardinals are one of the more well-studied types.
