core model

definable inner model of the universe of all sets

Kategorier: