We know how to count: 1, 2, 3, 4, etc.
For every $a$, $b$, $c$ $\in\mathbb{R}$:
$(a+b)+c=a+(b+c)$.
$(ab)c=a(bc)$.
$a+b=b+a$.
$ab=ba$.
$a(b+c)=ab+ac$.
There exists $\mathit{0}$ such that for every $a\in\mathbb{R}$:
$a+\textit{0}=a$.
There exists $\mathit{1}$ such that for every $a\in \mathbb{R}$:
$\textit{1}a=a$.
For every $x\in\mathbb{R}$ there exists $y\in\mathbb{R}$ such that:
$x+y=\mathit{0}$.
For every $x \in\mathbb{R}^{\times}$ there exists $y\in \mathbb{R}^{\times}$ such that:
$xy=\mathit{1}$.
$\textit{0}\not\in\mathbb{R}^{+}$
For every $a\in\mathbb{R}$ either $a\in\mathbb{R}^{+}$ or $-a\in\mathbb{R}^{+}$, but not both.
For every $a,b\in\mathbb{R}^{+}$:
$a+b\in\mathbb{R}^{+}$.
$ab\in\mathbb{R}^{+}$.
Thread to start your mathematical journey from scratch.