形式系统算术化的英文

arithmetization of formal system

• 形式:    form; shape; layou ...
• 系统:    system
• 算术:    arithmetic figure; ...
• 化:    change; turn; tran ...