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