Section: Axioms of AdditionE[id:32]Introduction Please note that the four axioms of addition presented here are a special case of a more general definition, which can be found for the four axioms used to define an abstract algebraic structure, called an abelian group. The more general definition uses an abstract binary operation (instead of the concrete addition used here) and a more general set (instead of the concrete set of real numbers used here). This means that the set of real numbers \(\mathbb R\), together with the addition \( + \) as a binary operation form the abelian group \((\mathbb R,+)\). Subordinated Structure: Contribute to BoP: add a new Subsection N add a new Motivation N add a new Example N add a new Application N add a new Explanation N add a new Interpretation N add a new Axiom N add a new Definition N add a new Proposition N add a new Lemma N add a new Theorem N add a new Algorithm N add a new Open Problem N add a new Bibliography (Branch) N add a new Comment (Branch) N |
The contents of book of proofs are licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.
