column value
英文名稱 non-Archimedean valuation
中文名稱 非阿基米德賦值