core model

definable inner model of the universe of all sets

分类: