Pure mathematics is in its way the poetry of logical ideas.