core model

definable inner model of the universe of all sets

카테고리: