Axioms of real numbers

1. Axioms of addition (operation is defined )

1.1. Existence of zero: , for which

1.2. Existence of opposite element:

1.3. The rool of opening the brackets:

1.4. Commutability:

2. Axioms of multiplication (operation is defined )

2.1. Existence of unity (neutral element): , for which

2.2. Existence of inverse element:

2.3. The rool of opening the brackets:

2.4. Commutability: