On the Philosophical Significance of Consistency Proofs