Recursive metric spaces