(January 6, 2013 at 7:56 pm)pocaracas Wrote:thanks for that.(January 6, 2013 at 7:36 pm)Mark 13:13 Wrote:hock: i know where you are at so i've tried to not get into anything to complicated, but knowing some of the members of the forum they will be able to settle the issue and explain it simply without getting too confusing.
So I have to do the math for you?
1+1 =
(To replicate the nomenclature in the definition of addition)
= 1+ S(0) =
(Second part of the definition of addition)
= S(1+0) =
(1+0 = 1 as per the first part of the definition of addition)
= S(1) =
(According to axiom 6.)
= 2
i think i got it now ok so 1+1= 2 is not an axiom within that system. but mathematics is still based on axioms. So is still based on statements that are not provable using logic but accepted using other methods of decision be they intuition or common sense or whatever we deem to call it. (And maybe 1+1 =2 could as it now would appear to fit the above definition now be accepted in at least some systems as an axiom)