Deakstadieđáhus: Elementary theory of metric spaces