The mathematician is entirely free, within the limits of the imagination, to construct what worlds he pleases.