Question: What type of human knowledge is math?
Sentence: Hume divided all of human knowledge into two categories: relations of ideas and matters of fact (see also Kant's analytic-synthetic distinction).
Answer in sentence: yes