 While it is a vexed philosophical issue just how to account for a priori knowledge of necessary truths such as logical truths, mathematical truths, and the homelier necessary truths like the truth that nothing can be red all over and green all over at the same time, accounting for our knowledge of the necessary truth that Socrates is such that there are infinitely many primes, does not seem to be problematic in some extra special way. If we had a good account of our a priori knowledge of the necessary truth that there are infinitely many primes, then it would take little more to account for our knowledge of the necessary truth about Socrates that he is such that there are infinitely many primes.