Mathematics
My understanding is that we can use systems like Peano Arithmetic to prove the seemingly basic truth that 1+1=2. Do such proofs actually give us reasons to believe that 1+1=2 that we didn't have before? Are they more fundamental or compelling than whatever justification a mathematically-naive person would have to believe that 1+1=2?
Accepted:December 12, 2013
Accepted:
December 12, 2013