inner model

in set theory, a transitive model containing all ordinals

Danh mục: