Standard ZFC-style theory. Sets as collections of elements (can contain other sets). Membership ∈ is primitive. Compare: structural set theory