philosophy/math math-definitions