V.T08 — Time Derivation Theorem

Physical time is a derived quantity in Category tau: the proper time function t: N_{>=1} -> R_{>=0} is well-defined, strictly increasing, bounded in [0, t_infinity), and depends only on the kernel axioms K0-K6 and the prime sequence. No background time parameter is postulated.