Set theory with a universal set exploring an untyped universe - Forster, T. E. (Clarendon Press, 1995)