A Matemática pura é, à sua maneira, a poesia das ideias lógicas.