What even is math?