If synthetic a priori truths (e.g., '7+5=12') are necessary but not grounded in contradiction, the P...