The Urysohn sphere is pseudofinite

Abstract

We show that the Urysohn sphere is pseudofinite. As a consequence, we derive an approximate $0$-$1$ law for finite metric spaces of diameter at most $1$.