Has philosophy ever clarified mathematics? · HackerTrans