The foundations of elementary arithmetic