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