応用されるとその部分は数学基礎論ではないと見なされ
結局応用されない役に立たないものだけが数学基礎論とみなされるという風潮