Has anyone a reference to the axioms of Zermelo-Fränkel set theory + choice + Urelemente (atoms)? -- Steven Obua Technische Universität München Institut für Informatik Boltzmannstr. 3 D-85748 Garching Tel: ++49 (0)89 / 289-17328 EMail: obua at in.tum.de Raum: 01.11.059