Comment by cjk2

I think we need a philosophy of the philosophy of mathematics to build an understanding around this...