Mathematics as an aggregate already is that cathedral. It is grander and more beautiful than any earthly cathedral.