Why is $\mathbb{R}^2$ endowed with the taxicab metric isomorphic to the infinity distance model of the cartesian real plane? (Hartshorne exercise 8.9)
Isomorphism between two models of Hilbert's Axioms with different notions of congruence