Set theory with a universal set exploring an untyped universe - Forster, Thomas 1948- (Oxford logic guides, 1992)