ⓘ Kunens inconsistency theorem
In set theory, a branch of mathematics, Kunens inconsistency theorem, proved by Kenneth Kunen, shows that several plausible large cardinal axioms are inconsistent with the axiom of choice.
Some consequences of Kunens theorem or its proof are:
 If j is an elementary embedding of the universe V into an inner model M, and λ is the smallest fixed point of j above the critical point κ of j, then M does not contain the set j "λ the image of j restricted to λ.
 There is no nontrivial elementary embedding of the universe V into itself. In other words, there is no Reinhardt cardinal.
 There is no ωhuge cardinal.
 There is no nontrivial elementary embedding of V λ+2 into itself.
It is not known if Kunens theorem still holds in ZF ZFC without the axiom of choice, though Suzuki 1999 showed that there is no definable elementary embedding from V into V. That is there is no formula J in the language of set theory such that for some parameter p ∈ V for all sets x ∈ V and y ∈ V: j x = y ↔ J x, y, p. {\displaystyle jx=y\leftrightarrow Jx,y,p\.}
Kunen used Morse–Kelley set theory in his proof. If the proof is rewritten to use ZFC, then one must add the assumption that replacement holds for formulas involving j. Otherwise one could not even show that j "λ exists as a set. The forbidden set j "λ is crucial to the proof. The proof first shows that it cannot be in M. The other parts of the theorem are derived from that.
It is possible to have models of set theory that have elementary embeddings into themselves, at least if one assumes some mild large cardinal axioms. For example, if 0# exists then there is an elementary embedding from the constructible universe L into itself. This does not contradict Kunens theorem because if 0# exists then L cannot be the whole universe of sets.
 elementary embeddings are not classes of the model. Kunen 1971 proved Kunen s inconsistency theorem showing that the existence of such an embedding contradicts
 Kunen s inconsistency theorem stating roughly that no such embedding exists. More specifically, as Samuel Gomes da Silva states, the inconsistency
 jn κ for positive integers n. However Kunen s inconsistency theorem shows that such cardinals are inconsistent in ZFC, though it is still open whether
 suspected to be inconsistent in ZFC as it was thought possible that Kunen s inconsistency theorem that Reinhardt cardinals are inconsistent with the axiom
 attempted solutions by amateurs of famous problems such as Fermat s last theorem or the squaring of the circle. It also does not include unpublished preprints
 proved within the theory itself, as shown by Godel s second incompleteness theorem Formally, ZFC is a one  sorted theory in first  order logic. The signature
 finitely axiomatizable, while ZFC and MK are not. A key theorem of NBG is the class existence theorem which states that for every formula whose quantifiers
 what is meant by resemble Weak forms of the reflection principle are theorems of ZF set theory due to Montague 1961 while stronger forms can be new
 that it has an integer root if and only if ZFC is inconsistent A stronger version of Fubini s theorem for positive functions, where the function is no
 methods formalizable within arithmetic itself. Godel s incompleteness theorems show that Hilbert s program cannot be realized: if a consistent recursively
 may be any uncountable cardinal of uncountable cofinality see Easton s theorem The continuum hypothesis postulates that the cardinality of the continuum

Large cardinal 
Axiom of determinacy 

Berkeley cardinal 
Core model 
Critical point (set theory) 
Extender (set theory) 

Extendible cardinal 
Grothendieck universe 
Huge cardinal 
Indescribable cardinal 
Ineffable cardinal 
Iterable cardinal 
Mahlo cardinal 
Measurable cardinal 

Rankintorank 
Reinhardt cardinal 
Remarkable cardinal 
Shelah cardinal 
Shrewd cardinal 
Strong cardinal 
Strongly compact cardinal 
Quasicompact cardinal 
Unfoldable cardinal 
Weakly compact cardinal 
Wholeness axiom 
Woodin cardinal 
Zero sharp 

Film 

Television show 

Game 

Sport 

Science 

Hobby 

Travel 

Technology 

Brand 

Outer space 

Cinematography 

Photography 

Music 

Literature 

Theatre 

History 

Transport 

Visual arts 

Recreation 

Politics 

Religion 

Nature 

Fashion 

Subculture 

Animation 

Award 

Interest 