Axiom:Non-Archimedean Norm Axioms (Division Ring)