We now expound Krause's (1992) axiomatic theory Q , the first quasi-set theory; other formulations and improvements have since appeared. For an updated paper on the subject, see French and Krause (2010). Krause builds on the set theory ZFU, consisting of Zermelo-Fraenkel set theory with an ontology extended to include two kinds of urelements :