Pure mathematics is the poetry of logical ideas