<mathematics> Zermelo Fränkel set theory plus the Axiom of Choice. A favourite axiomatisation of set theory.
(1995-03-29)
Try this search on Wikipedia, OneLook, Google