An Euclidean measure of size for mathematical universes