inner model fail satisfy axiom choice example existence sufficiently large cardinals implies inner model satisfying axiom determinacy thus satisfying axiom choice large cardinals ''large cardinal'' cardinal number extra property many properties studied including inaccessible cardinals measurable cardinals many properties typically imply cardinal number must large existence cardinal specified property unprovable zermelo fraenkel set theory determinacy ''determinacy'' refers fact appropriate
Humanities Philosophy Logic Mathematical logic Set theory