An inner model of Zermelo–Fraenkel set theory (ZF) is a transitive class that includes all the ordinals and satisfies all the axioms of ZF.
Un modelo interno da teoría de conxuntos de Zermelo-Fraenkel (ZF) é unha clase transitiva que inclúe a todos os ordinais e satisfai todos os axiomas de ZF.