The study of inner models is common in the study of determinacy and large cardinals, especially when considering axioms such as the axiom of determinacy that contradict the axiom of choice.
O estudo dos modelos internos é común no estudo do determinismo e dos grandes cardinais, especialmente cando se consideran axiomas, como o axioma do determinismo, que contradín o axioma da escolla.