arithmetization of formal system

arithmetization of formal system怎么读，什么意思。形式系统算术化...