 Ackermann set theory is a theory of classes in which some classes are sets, but there is no simple definition of which classes are sets (in fact, the whole power of the theory is that the notion of set is indefinable!)