What type of human knowledge is math?