Editing Inner model (section)

==Use==
Usually when one talks about inner models of a theory, the theory one is discussing is [[ZFC]] or some extension of ZFC (like ZFC&nbsp;+&nbsp;"a [[measurable cardinal]] exists"). When no theory is mentioned, it is usually assumed that the model under discussion is an inner model of ZFC. However, it is not uncommon to talk about inner models of [[subtheories]] of ZFC (like [[Zermelo–Frankel set theory|ZF]] or [[Kripke–Platek set theory|KP]]) as well.