Poincaré believed that mathematics involves truths beyond just logic, similar to Kant's ideas. He argued that proving certain mathematical claims requires using knowledge from specific fields, not just general logic. While Kant thought mathematical knowledge comes from intuitions like space and time, Poincaré believed it is more basic and essential. He saw synthetic a priori as something so fundamental that we couldn't imagine it being different or build theories without it.