אנגלית ⇄ סינית רוסית +

formal arithmetic
	形式化算法