measurable cardinal

large cardinal number that is the critical point of a nontrivial elementary embedding of the universe into a transitive class

Categories: