formalizedarithmetic的意思|示意
美 / fɔ:məlaɪzi:'dærɪθmetɪk /
英 / fɔməlaɪzi'dærɪθmetɪk /
形式化算法