Set theory
DefinitionModel of ZFC#
The ZFC universe of sets consists of the type of pre-sets, quotiented by extensional equivalence.
ZFSet.{u} : Type (u + 1)
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.
The ZFC universe of sets consists of the type of pre-sets, quotiented by extensional equivalence.
ZFSet.{u} : Type (u + 1)
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.