Quine�s set theory variant. Stratified comprehension. {x∣ϕ(x)} allowed only if ϕ is stratifiable Supports universal set V.