I'm trying to mentally summarize the names of the operands for basic operations. I've got this so far: Addition: Augend + Addend = Sum. Subtraction: Minuend - Subtrahend = Difference. Multiplicati...

Are there some good overviews of basic formulas about addition, multiplication and exponentiation of cardinals (preferably available online)?

Apr 21, 2015 · Explore related questions arithmetic factorial See similar questions with these tags.

As for a closed form of the sum, note that each side is an arithmetic series with a common difference of 1 and there are formulas you could use to compute this. Note that the n2 + 2n + 1 = (n + 1)2 n 2 + 2 …

How can we sum up sin sin and cos cos series when the angles are in arithmetic progression? For example here is the sum of cos cos series:

Can we define division similarly using only addition or subtraction?

Nov 9, 2015 · A list of already proved arithmetic rules - which I can cite - would be great here ;-) Update: I had an idea to minimize the number of needed arithmetic rules via generalizing the concept of …

Nov 29, 2020 · I've had the idea of nonstandard Peano arithmetic introduced to me in the comments of this question. The concept that we could write down the axioms which produce the natural numbers …

Q&A for people studying math at any level and professionals in related fields

Aug 24, 2022 · In the Wikipedia article for (the first-order theory of) Presburger arithmetic, it is stated (among other properties) that Presburger arithmetic is consistent. What meta-theory does he rely on …