standard model

model of a set theory in which the internal membership relation coincides with the external membership relation

Kategori: