Pure Mathematics Is, In Its Way, The Poetry Of Logical Ideas