Most modern commentators find similar defects in the other antinomies. All other propositions are synthetic, including laws of logic or arithmetic that do not have a form that fits the analytic pattern. Kant believed, with Leibniz, that analytic knowledge is plain and unmysterious. Knowledge can also be divided into apriori and aposteriori knowledge. Aposteriori knowledge is knowledge that is based on the specific contents of actual sense experience.
Apriori knowledge is all other knowledge.
Following Hume, Kant takes all aposteriori knowledge as unmysterious and self-explanatory. This leaves synthetic apriori knowledge as potentially problematic. Hume simply denied that we have any synthetic apriori knowledge at all. However, Kant agreed with Hume that the very possibility of synthetic apriori knowledge is in need of explanation. In particular, he felt that it would be inappropriate to appeal, as Descartes did, to the truthfulness and benevolence of God in validiting the veridicality of our natural beliefs.