Ontify
Branch of philosophy that studies the assumptions, foundations, and implications of mathematics.