すうりてつがく

  1. noun (common) (futsuumeishi)

    philosophy of mathematics, mathematical philosophy