Sentence:  <WSD>S</WSD> has no axiom of extensionality and identity is absent from the other <WSD>S</WSD> axioms. 
Meaning of the word marked with <WSD> tags:  An axiomatic set theory, developed by logician (George Boolos), in which several of the axioms of ZF are derivable as theorems.