measurable cardinal
Sign in to savelarge cardinal number that is the critical point of a nontrivial elementary embedding of the universe into a transitive class
large cardinal number that is the critical point of a nontrivial elementary embedding of the universe into a transitive class