  According to the philosopher Kant, Mathematics is an "a priori cognition".
Kant's assumption, together with the unsolvability of Hilbert's 10th problem,
implies an astonishing result.

History and Overview