“Mathematics is, in its way, the poetry of logical ideas.”