L’abstraction des relations logico-arithmétiques