Sobre a lógica e a aritmética das relações