Synthetic a Priori

Synthetic a priori judgments are the vital case, because only they could provide new information that is necessarily true but neither Leibniz nor Hume considered the possibility of any of it. Kant sustained that synthetic a priori judgments not only are possible but actually supply the basis for major portions of human knowledge. He supposed that arithmetic and geometry include such judgments and that natural science depends on them for its power to explain and guess events. Kant questioned how are synthetic a priori judgments possible at all? I think that is a good question that Kant asked.The only issue is that people might be good at solving problems or in math, but we learn to know how to solve the problems trough steps