Can Mathematical Axioms and Postulates Prove That 1+1 Equals 2?

  • Thread starter Thread starter richardnub
  • Start date Start date
AI Thread Summary
Mathematical axioms and postulates can be used to define addition, particularly through the concept of succession in natural numbers. By defining an operation that identifies the "next" number in a set, one can establish a framework for addition without initially labeling it as such. This leads to the conclusion that 1+1 equals 2 through repeated succession. While set theory isn't necessary for this basic proof, it can help validate the rules of integer addition. Ultimately, one can also define the number 2 as the result of 1+1.
richardnub
Messages
1
Reaction score
0
Is there some axiom or postulate that defines addition?

I've always wondered this.
 
Mathematics news on Phys.org
Well, when you get to that level it becomes rather difficult. I believe that if you define the natural numbers as an ordered set, you can define an operation on them that essentially says "go to the 'next' number in the set", which we can call "succession" and denote as s(n), where n is a natural number. In normal terms, s(n)=n+1, but since we haven't defined "addition" yet, we can't really call it that yet. Then, you can define addition as repeated succession in some way, and from there define 1+1 and find it to be equal to 2.

At least, I think the above method can work. Obviously someone better than I would have to come along and codify it.
 
You do not really need to delve into set theory, unless you want to prove that the rules we set up for integer addition follow from the rules we have from set axioms (i.e, mathematical reductionism).

You can, of course, DEFINE 2 to be equal to 1+1.
 

Thread 'Non-orthogonal bases'

Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
View full post »

Thread 'What Exactly is Dirac’s Delta Function? - Insight'

Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
View full post »

Similar threads

B Is everything in math either an axiom or a theorem?
2
Replies
72
Views
7K
Prove the 2nd axiom of mathematical logic using the Deduction Theorem
Replies
1
Views
1K
B A Question Relating Sum of Angles and Breaking of the Parallel Postulate
Replies
6
Views
1K
A Magnetic Monopole's (non)existence
Replies
10
Views
2K
MHB Proving equivalence to Euclid Parallel Postulate
Replies
1
Views
2K
I Proving that fractions are the same as division
Replies
2
Views
2K
I What is an Axiom? Definition & Examples
Replies
10
Views
3K
I How did Euclid go about forming his propositions?
Replies
13
Views
2K
I Subgroup axioms for a symmetric group
Replies
1
Views
1K
Use mathematical logic to prove this proposition
Replies
1
Views
1K

Hot Threads

Recent Insights

Back
Top