Quoted By:
Numbers written using Arabic numerals are just the labels we use for convenience to represent certain mathematical objects. The sentence "3+4=7" is meaningless without a theory behind it. Under Peano arithmetic, mapping 3 to s(s(s(0))), 4 to s(s(s(s(0)))), and 7 to s(s(s(s(s(s(s(0))))))), 3+4=7 is provably true.
