Valuation[101]表示把 Valuation施用于101 Valuation NI 把它施用于N 定义: Valuation(用四个方程为有四个形式 numeral Valuation[o]=0 Valuation[l] Valuation[N0]≡2× Valuation[N] Valuation]≡2× Valuation[N]+1 所以: Valuation[ 110]=2 X Valuation[ 11] 2×(2× Valuation[1]+1) 2×(2×1+1)• Valuation[101] 表示把Valuation施用于101 Valuation[N] ------ 把它施用于N 定义: Valuation（用四个方程)因为有四个形式numeral Valuation[0] 0 Valuation[1] 1 Valuation[N0] 2Valuation [N] Valuation[N1] 2Valuation [N]+1 所以： Valuation[110]=2  Valuation[11] = 2  (2  Valuation[1]+1) =2 (2  1+1) =6