core model

definable inner model of the universe of all sets

Catégories :