Axiom:Non-Archimedean Norm Axioms (Vector Space)