Mathematics takes us still further from what is human, into the region of absolute necessity, to which not only the world, but every possible world, must conform.