inner model

in set theory, a transitive model containing all ordinals

카테고리: