Title: Retracing elementary mathematics
Subjects: Mathematics, Symbolic and mathematical Logic, Number theory