I want to know the answer to the following question:
What type of human knowledge is math?
All the background I'm provided with is that "Mathematical and logical propositions (e.g. "that the square of the hypotenuse is equal to the sum of the squares of the two sides") are examples of the first, while propositions involving some contingent observation of the world (e.g. "the sun rises in the East") are examples of the second.". Is that enough to answer the question?