Pure Mathematics is, in its Way, The Poetry of Logical Ideas