e/Kunen's inconsistency theorem

Information
has gloss	eng: In set theory, a branch of mathematics, Kunen's inconsistency theorem, proved by , shows that several plausible large cardinal axioms are inconsistent with the axiom of choice.
lexicalization	eng: Kunen's inconsistency theorem
instance of	e/Large cardinal