An axiomatic set theory, developed by logician George Boolos, in which several of the axioms of ZF are derivable as theorems.
The nineteenth letter of the English alphabet, called ess and written in the Latin script.