A New Theory of Measurement: A Study in the Logic of Mathematics