Hume divided all of human knowledge into two categories: relations of ideas and matters of fact (see also Kant's analytic-synthetic distinction).
What types of human knowledge did Hume say there are?
relations of ideas and matters of fact