ارزۀ ارشمیدسی

{Archimedean valuation} [ریاضی] فرمول دار