>> Does any of that involve transfinite induction? > > Let me take this up later. > > First, this result does use measure theory, and in this field the > notions of countability and uncountability play a very crucial role.
If you pull a metric out of Cantor's transfinites, then I have to wonder what you had up your sleeve. And yes, when dealing with the geometry of spacetime, this matters.