III.P06 — Completeness Without Topology

ℤ_p^τ is complete in the τ sense: every tower-coherent sequence has unique limit. This is Global Hartogs (I.T31) restricted to the p-primary tower. No metric, no Cauchy sequences.