Time Field Theory (TFT): Rigorous Axiomatic Derivation of the Velocity Composition Formula | Synapse