Start right now:
We know how to count: 1, 2, 3, 4, etc.
For every , , :
.
.
.
.
.
There exists such that for every :
.
There exists such that for every :
.
For every there exists such that:
.
For every there exists such that:
.
For every either or , but not both.
For every :
.
.
For , and counting numbers.
As definitions: , and
Also as definitions: , and As theorems:
For every :