 Kunen's inconsistency theorem

Kunen's inconsistency theorem is a result in set theory that deals with certain properties of set-theoretic universes, specifically related to the existence of large cardinals and the structure of possible models of set theory. The theorem essentially states that certain combinations of properties cannot coexist within a standard set-theoretic framework (typically Zermelo-Fraenkel set theory with the Axiom of Choice, abbreviated as ZFC).